let load_universe ?default_arch ?(extras=[]) uris =
  info "Parsing and normalizing..." ;
  let timer = Util.Timer.create "Parsing and normalizing" in
  Util.Timer.start timer;
  let (pr,cll,f,t) = parse_input ?default_arch ~extras [uris] in
  let u = (pr,Cudf.load_universe (List.flatten cll), f, t) in
  Util.Timer.stop timer u