let pprint_token_lines header lines =
let spaces = String.make (String.length header) ' ' in
let rec lines_printer prefix = function
| line::rest ->
print_string prefix;
print_token_line line;
print_newline ();
lines_printer spaces rest
| [] -> () in
lines_printer header lines