Some platforms define NULL as ((void *)0). Unfortunately, a void*