Initialize the pointer to NULL (fixes a SEGFAULT when compiling with
-O3 and -DNDEBUG)