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