static T3<Symbol> toSymbolTriple(T3 t) {
  ret t3(symbol(t.a), symbol(t.b), symbol(t.c));
}