static S ai_flattenTriple(T3<S> t) {
  ret t == null ? null : t.a + " " + t.b + " " + t.c;
}