pub fn next_diff1_4<T: Eq, U: Eq, V: Eq, W: Eq>(
    x: &[(T, U, V, W)],
    i: i32
) -> i32