let print_file f p =
  let oc = open_out f in
  print oc p;
  close_out oc