pub unsafe extern "C" fn V_sub_vector_length( vec: Hvector, vec_idx: Htuple, length: *mut Hlong, ) -> Herror