deadmarshal

  TRY
    wr := IO.OpenWrite("output.txt");
  EXCEPT
  | Wr.Failure => 
    SIO.PutText("Failed opening file to write!\n");
    TRY
      Wr.Close(wr);
    EXCEPT Wr.Failure => SIO.PutText("Failed closing file!\n");
    | Thread.Alerted => SIO.PutText("Thread.Alerted!\n");
    END;

deadmarshal

MODULE BasicTypes EXPORTS Main;

IMPORT IO;

PROCEDURE RepeatChar(READONLY C:CHAR;READONLY Start,End:CARDINAL) = 
BEGIN
  FOR I := Start TO End DO IO.PutChar(C) END;
  IO.Put("\n")
END RepeatChar;