static T3<S> ai_tripleToInvalid(T3<S> t) {
  ret triple(t.a, "[invalid] " + t.b, t.c);
}