number_lines.ml: Printf