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