DEFINITION MODULE Terminal; (*J. Gutknecht, 9.9.83*)

   PROCEDURE Read(VAR ch: CHAR);

END Terminal.