pub unsafe extern "C" fn V_get_vector_elem( vec: Hvector, index: Htuple, subvec: *mut Hvector, ) -> Herror