allocaInit        964 MMgc/GC.cpp     		allocaInit();
allocaInit       3553 MMgc/GC.cpp    		allocaInit();
allocaInit       1689 MMgc/GC.h      		void allocaInit();