static void printLispStatements() {
  printNumberedLines(map(func(LispStatement s) {
    "[" + s.globalID + "] " + s.term
  }, values(lispStatements_cached())));
  print();
}