MACHINE system SEES Bool_TYPE, String_TYPE OPERATIONS rr <-- SYSTEM_CALL(cmd:STRING) = BEGIN rr :: BOOL END END
