let ic = open_in Sys.argv.(1) in
CicEnvironment.restore_from_channel ic;
List.iter
  (fun uri -> print_endline (UriManager.string_of_uri uri))
  (CicEnvironment.list_uri ())