Generatore di interfaccia di Mach. Un linguaggio per la generazione di interfacce RPC (chiamata di procedura remota) per la comunicazione interprocesso tra compiti di Mach.