svoid tok_standardBot(LS tok) {

  int i;

  while ((i = jfind(tok, "standard bot <id> {")) >= 0) {

    int iOpening = indexOf(tok, i, "{");

    S name = tok.get(iOpening-2);

    int iClosing = findEndOfBracketPart(tok, iOpening)-1;

    LS contents = subList(tok, iOpening+1, iClosing);

    int j = jfind(contents, "allServers {");

    int k = findEndOfBracketPart(contents, j+2);

    S allServers = joinSubList(contents, j+4, k-2);

    clearTokens(contents, j, k);

    replaceTokens_reTok(tok, i, iClosing+1,

      [[ cmodule ]] + name + [[ extends DynTalkBot2<.ByServer> {

        void init {

          super.init();

          makeByServer = () -> new ByServer;

          useAGIBlueForDropPunctuation = false;

          preprocessAtSelfToMyName = false;

        }

        ]] + allServers + [[

        class ByServer extends DynTalkBot2.ByServer { ]]

        + join(contents)

        + "} }");

  }

}