====== READLINE(file:string, line:integer) :STRING ======
Read and return line number `line` from file `file`