static int tripleIndexOf(T3 t, A a) {
if (t == null) ret -1;
if (eq(t.a, a)) ret 0;
if (eq(t.b, a)) ret 1;
if (eq(t.c, a)) ret 2;
ret -1;
}
static int tripleIndexOf(A a, A b, A c, A x) {
if (eq(a, x)) ret 0;
if (eq(b, x)) ret 1;
if (eq(c, x)) ret 2;
ret -1;
}