let output_cudf oc pr univ = Cudf_printer.pp_preamble oc pr; Printf.fprintf oc "\n"; Cudf_printer.pp_universe oc univ