Mach interface generator. Een taal voor het genereren van RPC (remote procedure call) interfaces voor interprocess communicatie tussen Mach taken .