**This is an old revision of the document!** READLINE(file:string, line:integer) :STRING Read and return line number “line” from file “file”