ourmachServer.c ourmach_S.h: ourmach.defs /usr/local/include/mach/std_types.defs \
  /usr/local/include/mach/machine/machine_types.defs \
  /usr/local/include/mach/mach_types.defs