text: (* 
   *  Library module for GP Component Pascal.
   *  Low level reading and writing to the command-line console.
   *  Original : kjg November 1998
   *
   *
   *  This is a dummy module, it exists only to cause the 
   *  generation of a corresponding symbol file: Console.cps
   *  when compiled with the -special flag.
   *)
  SYSTEM MODULE Console;
  
    PROCEDURE WriteLn*();
  
    PROCEDURE Write*(ch : CHAR);
  
    PROCEDURE WriteString*(IN str : ARRAY OF CHAR);
  
    PROCEDURE WriteInt*(val : INTEGER; width : INTEGER); 
  
    PROCEDURE WriteHex*(val : INTEGER; width : INTEGER);
  
  END Console.
  