type ppmethod = PPnormal | PPviastr (* program -> output filename (often "/tmp/output.c") -> unit *) val pp_program : (Parse_c.toplevel2 * ppmethod) list -> Common.filename -> unit val pp_program_default: Parse_c.program2 -> Common.filename -> unit