READ -- read record from input file

IO_UNIT = $\langle{\tt integer:1}\rangle$	21	IO unit for file operations
RECORD = $\langle{\tt string:1}\rangle$	'undefined'	contents of the input line

Description:

This command reads a line from the file on the I/O channel IO_UNIT. The line goes into the string variable RECORD.