MODULE testReadChar; IMPORT InOut; VAR c : CHAR; BEGIN InOut.Read(c); InOut.WriteLn; InOut.WriteString(" Read Character test "); InOut.WriteLn; IF InOut.Done THEN InOut.Write(c); InOut.WriteLn; ELSE InOut.WriteString("Error !"); InOut.WriteLn; END END testReadChar.