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