MACH_TYPE          14 gc/if_mach.c       if (strcmp(MACH_TYPE, argv[1]) != 0) return(0);
MACH_TYPE          25 gc/if_mach.c       	    MACH_TYPE, OS_TYPE);
MACH_TYPE          68 gc/setjmp_t.c  	printf("This appears to be a %s running %s\n", MACH_TYPE, OS_TYPE);