static void lispStandardExecutors() {
  // Assert (X).
  executors.put("rzryqdohxtczvzgn", voidfunc(Lisp l) {
    l = l.get(0);
    if (!isTrue(callLispEvaluator(l)))
      fail("Not true: " + l);
  });
  
  // Make an empty thought space X.
  executors.put("jamvyfwypzbptvle", voidfunc(Lisp l) {
    S name = l.raw(0);
    addThoughtSpace(new ThoughtSpace(name));
  });
  
  // X is empty (thought space)
  lispEvaluator("yvmxaacduvvomgqi", new F1<Lisp, Bool>() {
    Bool get(Lisp l) {
      ret isEmpty(getThoughtSpace(l.raw(0)).statements);
    }
  });
  
  // Add (X) to Y. (thought space)
  executors.put("matnhiruhwprdiir", voidfunc(Lisp l) {
    getThoughtSpace(l.raw(1)).addStatement(l.get(0));
  });
  
  // Apply rule (X) to Y. (thought space)
  /*executors.put("aaedrmcbfcsubkkf", voidfunc(Lisp l) {
    applyRule_all_ts(getThoughtSpace(l.raw(1)), l.get(0));
  });*/
  
  // Apply always rules in X. (thought space)
  executors.put("bcypplfticghlkxy", voidfunc(Lisp l) {
    thoughtSpace(getThoughtSpace(l.raw(0));
    try {
      applyAlwaysRules(100);
      //print("After always rules: " + struct(keys(thoughtSpace().statementsIndex)));
    } finally {
      thoughtSpace(null);
    }
  });
}