pub unsafe extern "C" fn V_insert_vector_elem( vec: Hvector, vec_idx: Htuple, ins_idx: Htuple, ins: Hvector, ) -> Herror