GC_setpagesize    524 gc/misc.c      extern void GC_setpagesize();
GC_setpagesize    649 gc/misc.c          GC_setpagesize();
GC_setpagesize    772 gc/misc.c              GC_setpagesize();
GC_setpagesize    817 gc/misc.c          GC_setpagesize();