let string_of_line_char (l,c) = Printf.sprintf "%d,%d" l c