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