double-check everything up to "Embedded lisp evaluation"