(interp (parse '{{lambda {x} {+ x 2}} 8}) mt-env (doneK)) (interp (parse '{lambda {x} {+ x 2}}) mt-env K1 = (appArgK (parse '8) mt-env (doneK))) (continue K1 (closV 'x (parse '{+ x 2}) mt-env)) (interp (parse '8) mt-env K2 = (doAppK (closV 'x (parse '{+ x 2})) (doneK))) (continue K2 (numV 8)) (interp (parse '{+ x 2}) E1 = (extend-env (bind 'x (numV 8)) mt-env) (doneK)) (interp (parse `x) E1 K3 = (addSecondK (parse '2) E1 (doneK))) (continue K3 (numV 8)) (interp (parse '2) E1 K4 = (doAddK (numV 8) (doneK))) (continue K4 (numV 2)) (continue (doneK) (numV 10))