should_be_finalizable 2621 gc.c               should_be_finalizable(obj);
should_be_finalizable 2673 gc.c               should_be_finalizable(obj);
should_be_finalizable 8402 gc.c               should_be_finalizable(orig);
should_be_finalizable 8403 gc.c               should_be_finalizable(wmap);