let get_checked_obj nuri =
  let ouri = Obj.magic nuri in
  let o,_ = 
    CicEnvironment.get_cooked_obj ~trust:true CicUniv.oblivion_ugraph 
      ouri 
  in
    OCic2NCic.convert_obj o