SYSTEM MODULE Console;
PROCEDURE WriteLn*();
PROCEDURE WriteHex*(p0 : INTEGER;
p1 : INTEGER);
PROCEDURE WriteInt*(p0 : INTEGER;
p1 : INTEGER);
PROCEDURE WriteString*(IN p0 : ARRAY OF CHAR);
PROCEDURE Write*(p0 : CHAR);
END Console.