try while true do print_string (read_line()); print_newline() done with End_of_file -> ();;