Detaied Specification

17. Individual Character Input (Addendum)

    17.1
      A char-input-reply can be an other-character.End-of-line
     in a char-input-reply is not defined.
      CR and LF are treated as two other-characters.

    [Implementation-defined]
    17.4
      Pending characters shall be erased when a chain-statement is executed.
      Character echoing is available only for the keystrokes.
    17.6
       There are no typeahead buffers for INPUT and LINE INPUT.
       SET ECHO is valid for NPUT and LINE INPUT.
       An other-character is defined as a byte.
       If an end-of-file occur during execution of a char-input statement,
      an exception with extype 7305 shall be raised.