let _ =
  NCicTypeChecker.set_logger 
    (function 
    | `Start_type_checking s -> 
       prerr_endline ("Start: " ^ NUri.string_of_uri s)
    | `Type_checking_completed s -> 
       prerr_endline ("End: " ^ NUri.string_of_uri s));
  NCicPp.set_ppterm NCicPp.trivial_pp_term;
  Helm_registry.load_from "conf.xml";
  let u = UriManager.uri_of_string Sys.argv.(1) in
  let _,o = NCicEnvironment.get_obj (NUri.nuri_of_ouri u) in
  try NCicTypeChecker.typecheck_obj o
  with 
  | NCicTypeChecker.AssertFailure s 
  | NCicTypeChecker.TypeCheckerFailure s as e -> 
     prerr_endline (Lazy.force s); raise e
  | CicEnvironment.Object_not_found s -> 
      prerr_endline ("Obj not found: " ^ UriManager.string_of_uri s)
;;