MODULE Main;
IMPORT Test, RTMisc;

BEGIN
  Test.check (TRUE);
  RTMisc.Exit (1);  (* HALT(1); *)
  Test.check (FALSE);
  Test.done ();
END Main.