SYSTEM MODULE Console;

IMPORT
    RTS;


PROCEDURE WriteInt*(val   : INTEGER;
                    width : INTEGER);

PROCEDURE WriteHex*(val   : INTEGER;
                    width : INTEGER);

PROCEDURE Write*(ch : CHAR);

PROCEDURE WriteLn*();

PROCEDURE WriteString*(IN  str : ARRAY OF CHAR);


END Console.