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