let input_line_opt ch = try Some (input_line ch) with | End_of_file -> None