static int tripleHashCodeByContentsIC(T3<Symbol> t) {
  ret t == null ? 0
    : lowerHashCode(t.a) + 2*lowerHashCode(t.b) - 4*lowerHashCode(t.c);
}