NULL needs to be cast to void * when passed to a variadic function like