TP 8 exo1: be more explicit about the malloc size.