Mach interface generator. A language for generating RPC (remote procedure call) interfaces for interprocess communication between Mach tasks.