ourmachServer.c ourmach_S.h: ourmach.defs