static S ai_triple_howOld(T3<S> t) {
  ret "Very old";
}