25 Terminal input/output ************************
· \typein Read text from the terminal. · \typeout Write text to the terminal.