let _ =
  Helm_registry.load_from "conf.xml";
  let u = UriManager.uri_of_string "cic:/matita/tests/f.con" in
  let o, _ = CicEnvironment.get_obj CicUniv.oblivion_ugraph u in
  let l = OCic2NCic.convert_obj u o in
  let objs = 
    List.flatten 
    (List.map NCic2OCic.convert_nobj l) in
  List.iter 
   (fun (u,o) -> 
     prerr_endline ("------- " ^ UriManager.string_of_uri u);
     prerr_endline (CicPp.ppobj o);
     try CicTypeChecker.typecheck_obj u o
     with CicTypeChecker.TypeCheckerFailure s ->
       prerr_endline (Lazy.force s)) 
   objs;
;;