Well, though this works with sb-eval contrary to the case of using sb-fasteval. That reminds me of another (past) issue that was alike at sb-fasteval only: https://bugs.launchpad.net/sbcl/+bug/1722715 Putting here backtrace if it can say something. Backtrace for: # 0: (SB-ALIEN-INTERNALS:%LOCAL-ALIEN-ADDR # 2) 1: (SB-INTERPRETER::GLOBAL-CALL #(# # # # # # # # # # # # ...) # #) 2: (PROGN #(# # #) # #) 3: (SB-INTERPRETER::LET/SPEC # # #) 4: ((LABELS SB-INTERPRETER::LET*-BIND :IN SB-INTERPRETER::APPLY-LAMBDA) 13 13) 5: ((LAMBDA (&REST SB-INTERPRETER::ARGS) :IN SB-INTERPRETER::APPLICATOR/GENERAL) "n" "n" 2 2 3 1.0d0 # 2 # 3 0.0d0 # 2) 6: ((LABELS SB-INTERPRETER::RECURSE :IN SB-SYS:WITH-PINNED-OBJECTS) (#) #) 7: ((LABELS SB-INTERPRETER::RECURSE :IN SB-SYS:WITH-PINNED-OBJECTS) (# #) #) 8: ((LABELS SB-INTERPRETER::RECURSE :IN SB-SYS:WITH-PINNED-OBJECTS) (# # #) #) 9: (PROGN (# . #) # #) 10: ((LABELS SB-INTERPRETER::LET*-BIND :IN SB-INTERPRETER::APPLY-LAMBDA) 2 2) 11: ((LAMBDA (&REST SB-INTERPRETER::ARGS) :IN SB-INTERPRETER::APPLICATOR/GENERAL) #2A((2.0d0 1.0d0 6.0d0) (7.0d0 3.0d0 4.0d0)) #2A((3.0d0 1.0d0) (6.0d0 5.0d0) (2.0d0 3.0d0))) 12: ((LABELS SB-INTERPRETER::APPLY-IT :IN SB-INTERPRETER::%EVAL) #) 13: (SB-INT:EVAL-IN-LEXENV (DEFPARAMETER C (MM A B)) NIL) 14: (EVAL (DEFPARAMETER C (MM A B))) 15: (INTERACTIVE-EVAL (DEFPARAMETER C (MM A B)) :EVAL NIL) 16: (SB-IMPL::REPL-FUN NIL) 17: ((LAMBDA NIL :IN SB-IMPL::TOPLEVEL-REPL)) 18: (SB-IMPL::%WITH-REBOUND-IO-SYNTAX #) 19: (SB-IMPL::TOPLEVEL-REPL NIL) 20: (SB-IMPL::TOPLEVEL-INIT) 21: ((FLET "WITHOUT-INTERRUPTS-BODY-35" :IN SAVE-LISP-AND-DIE)) 22: ((LABELS SB-IMPL::RESTART-LISP :IN SAVE-LISP-AND-DIE))