(defun test-eval () (check (= '10 (eval '(+ 1 2 3 4)))))