high_address_plus_1  353 gc/include/gc.h 				   char * high_address_plus_1));
high_address_plus_1  357 gc/include/gc.h     char * high_address_plus_1));