__data_end__     1484 gc/os_dep.c    	  extern char __data_start__[], __data_end__[];
__data_end__     1486 gc/os_dep.c    	  		     (ptr_t)&__data_end__, FALSE);