(interp (parse `{{lambda {x} {+ x 2}} 8}) mt-env (doneK)) (interp (parse `{lambda {x} {+ x 2}}) mt-env k1 = (appArgK (numE 8) mt-env (doneK))) (continue k1 v1 = (closV 'x (parse `{+ x 2}) mt-env)) (interp (numE 8) mt-env k2 = (doAppK v1 (doneK))) (continue k2 (numV 8)) (interp (parse `{+ x 2}) e1 = (extend-env (bind 'x (numV 8)) mt-env) (doneK)) (interp (parse `x) e1 k3 = (plusSecondK (numE 2) e1 (doneK))) (continue k3 (numV 8)) (interp (numE 2) e1 k4 = (doAddK (numV 8) (doneK))) (continue k4 (numV 2)) (continue (doneK) (numV 10))