CHECK_ALLOCATED  7133 src/alloc.c    	CHECK_ALLOCATED ();				\
CHECK_ALLOCATED  7142 src/alloc.c    	    CHECK_ALLOCATED ();					\