MODULE; IMPORT SynWr, Text; PROCEDURE ObErr Msg (swr: SynWr.T; msg: TEXT) = BEGIN IF NOT Text.Empty(msg) THEN SynWr.Text(swr, msg, loud:=TRUE); SynWr.Char(swr, '\n', loud:=TRUE); SynWr.Flush(swr, loud:=TRUE); END; END Msg; PROCEDUREFault (swr: SynWr.T; msg: TEXT) RAISES {Fail} = BEGIN Msg(swr, msg); RAISE Fail; END Fault; BEGIN END ObErr.