static S ai_tripelizeAndRenderTriple(S s) {
  ret ai_renderTriple(ai_tripelize(s));
}