let cudf_load_universe file =
  let (pr,l,f,t) = cudf_load_list file in
  (pr,Cudf.load_universe (List.hd l), f, t)