let print output_file fct =
              let o = new printer () in with_outfile output_file (fct o)