(interp (parse '{+ x 5}) (extend-env (bind 'x (numV 8)) mt-env) = E1 (doMultK (numV 7) (doneK))) = K1 (interp 'x E1 (addSecondK '5 E1 K1)) (continue (addSecondK '5 E1 K1) (numV 8)) (interp '5 E1 (doAddK (numV 8) K1)) (continue (doAddK (numV 8) K1) (numV 5)) (continue K1 (numV 13)) (continue (doneK) (numV 91))