READLINE(file:string, line:integer) :STRING

Read and return line number line from file file