let print_to_stdout file = (* Printer takes into account annotations *) let printer = new Printer.print () in Log.print_on_output "%a" (Cil.d_file printer) file