GC_get_allocation_base 1267 gc/os_dep.c        void * candidate = GC_get_allocation_base(new_l);
GC_get_allocation_base 1276 gc/os_dep.c     	  candidate = GC_get_allocation_base(p);