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