IMPLEMENTATION MODULE TextIO;
(* Binds the shim externals directly (avoids name shadowing with
   SysIO's wrappers). *)

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

PROCEDURE m2writeln;
  EXTERNAL;

PROCEDURE m2writeint(n : INTEGER);
  EXTERNAL;

PROCEDURE m2writechar(c : CHAR);
  EXTERNAL;

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

PROCEDURE WriteLn;
BEGIN
  m2writeln
END WriteLn;

PROCEDURE WriteInt(n : INTEGER);
BEGIN
  m2writeint(n)
END WriteInt;

PROCEDURE WriteCard(n : CARDINAL);
BEGIN
  m2writeint(n)
END WriteCard;

PROCEDURE WriteChar(c : CHAR);
BEGIN
  m2writechar(c)
END WriteChar;

END TextIO.