CHECK_ALLOCATED  6815 src/alloc.c    	CHECK_ALLOCATED ();				\
CHECK_ALLOCATED  6824 src/alloc.c    	    CHECK_ALLOCATED ();					\