Do not explicitly cast void pointers from malloc