GC_init_linux_data_start  539 gc/misc.c        extern void GC_init_linux_data_start GC_PROTO((void));
GC_init_linux_data_start  660 gc/misc.c      	GC_init_linux_data_start();