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.