val convert_obj: Cic.obj -> NCic.obj