(* testsysexceptions trivial test importing SysExceptions. *) MODULE testsysexceptions ; IMPORT SysExceptions ; BEGIN END testsysexceptions.
(* testsysexceptions trivial test importing SysExceptions. *) MODULE testsysexceptions ; IMPORT SysExceptions ; BEGIN END testsysexceptions.