e32_exe           417 gc/os_dep.c    struct e32_exe {
e32_exe          1095 gc/os_dep.c        struct e32_exe hdr386;	/* Real header for my executable */