let count_lines v = (line_number := !line_number + String.length v)