Generador d'interfície de Mach. Una llengua per generar RPC (crida de procediment remot) interfícies de comunicació entre processos amb entre Mach tasques.