IMPLEMENTATION MODULE TestIO;
(* Thin wrapper over the C shim's external procedures. *)

PROCEDURE m2write (VAR s : ARRAY OF CHAR);
  EXTERNAL;

PROCEDURE m2writeln;
  EXTERNAL;

PROCEDURE WriteString (VAR s : ARRAY OF CHAR);
BEGIN
  m2write(s)
END WriteString;

PROCEDURE WriteLn;
BEGIN
  m2writeln
END WriteLn;

END TestIO.