GC_check_annotated_obj  793 gc/dbg_mlc.c           clobbered = GC_check_annotated_obj((oh *)base);
GC_check_annotated_obj  901 gc/dbg_mlc.c         clobbered = GC_check_annotated_obj((oh *)base);
GC_check_annotated_obj  981 gc/dbg_mlc.c   	        ptr_t clobbered = GC_check_annotated_obj((oh *)p);