clear_mark_bit_from_hdr  624 gc/alloc.c     	clear_mark_bit_from_hdr(hhdr, word_no);
clear_mark_bit_from_hdr  199 gc/mark.c          clear_mark_bit_from_hdr(hhdr, word_no);