No need to cast void*