applyprim sees: (eval '(+ 2 2) '())
setenvop          K        [         19 ]        0
                    %%%%%%%%%%% 
          J        [          0 ]        1
                    %%%%%%%%%%% 
          H        [         -1 ]        2
                    %%%%%%%%%%% 
          H        [         -1 ]        3
                    %%%%%%%%%%% 
          G        [        116 ]        4
                    %%%%%%%%%%% 

applyprim sees: '(+ 2 2) '())
applyprim sees: '())
          B        [          0 ]        6
                    %%%%%%%%%%% 
applyprim sees: )
apply          J        [         19 ]        1
                    %%%%%%%%%%% 
 ret push of      19 at       1 & len push of      19
applyuserfunc
applyprim sees: (@ (self-evaluating? #1 ) @ #1 (@ (variable? #1 ) @ (eval-variable #1 #2 ) (@ (quoted? #1 ) @ (eval-quotation #1 #2 ) (@ (define? #1 ) @ (eval-define #1 #2 ) (@ (if? #1 ) @ (eval-if #1 #2 ) (@ (lambda? #1 ) @ (make-procedure (lambda-parameters #1 ) (lambda-body #1 ) ) (@ (begin? #1 ) @ (eval-sequence (begin-actions #1 ) #2 ) (@ (cond? #1 ) @ (eval (cond->if #1 ) #2 ) (@ (primitive? #1 ) @ (eval-primitive #1 #2 ) (@ (app? #1 ) @ (eval-app #1 #2 ) 'EvalERR ) ) ) ) ) ) ) ) ) )~
setenvop          K        [        479 ]        7
                    %%%%%%%%%%% 
          J        [          0 ]        8
                    %%%%%%%%%%% 
          H        [          2 ]        9
                    %%%%%%%%%%% 
          H        [          3 ]       10
                    %%%%%%%%%%% 
          G        [         14 ]       11
                    %%%%%%%%%%% 

applyprim sees: (self-evaluating? #1 ) @ #1 (@ (variable? #1 ) @ (eval-variable #1 #2 ) (@ (quoted? #1 ) @ (eval-quotation #1 #2 ) (@ (define? #1 ) @ (eval-define #1 #2 ) (@ (if? #1 ) @ (eval-if #1 #2 ) (@ (lambda? #1 ) @ (make-procedure (lambda-parameters #1 ) (lambda-body #1 ) ) (@ (begin? #1 ) @ (eval-sequence (begin-actions #1 ) #2 ) (@ (cond? #1 ) @ (eval (cond->if #1 ) #2 ) (@ (primitive? #1 ) @ (eval-primitive #1 #2 ) (@ (app? #1 ) @ (eval-app #1 #2 ) 'EvalERR ) ) ) ) ) ) ) ) ) )~
setenvop          K        [        479 ]       12
                    %%%%%%%%%%% 
          J