pub unsafe extern "C" fn T_tuple_not_equal_elem( T1: Htuple, T2: Htuple, Nequal: *mut Htuple, ) -> Herror