static Lisp lispTranslateToJava(Lisp x, final SS map) {
  ret lispMap_after(x, func(Lisp l) {
    S s = map.get(l.head);
    if (s != null)
      ret lisp(s, l.args);
    if (!l.isLeaf()) {
      warn("No leaf: " + l);
      ret lisp(quote(clUnparse(l)));
    }
    if (isInteger(l.head)) ret lisp(l.head);
    else ret lisp(quote(l.head));
  });
}