Not looking through all the details of your case, I suggest that you
interpret rather than compile your definitions.  Many more variables
and stack frames will be visible.  I've learned this lesson by hard
experience.  If you are using the emacs interface,
 M-x set-variable fi:lisp-evals-always-compile nil
before you C-M-x.

Liam Healy