GC_setpagesize    591 gc/os_dep.c      void GC_setpagesize()
GC_setpagesize    600 gc/os_dep.c    	void GC_setpagesize()
GC_setpagesize    606 gc/os_dep.c    	void GC_setpagesize()