Last argument has type `void*`, cast shouldn't be required here.