added gnu_c/gccintro.../null.c and checkNDEBUG/Makefile