static void ai_spec_produceStandardFunctions() {
  for (S s : standardFunctionNames())
    ai_postTriple(s, "is", "a JavaX standard function");
}