let edsp_load_universe options file = let (pr,l,f,t) = edsp_load_list options file in (pr,Cudf.load_universe (List.hd l), f, t)