static S smartBot_storeTripleCmd(S a, S b, S c) {
  ret "!store-triple " + ai_renderTriple(a, b, c);
}