(interp (parse '{+ x 5}) E1 = (extend-env (bind 'x (numV 8)) mt-env) K1 = (doMultK (numV 7) (doneK))) (interp (idE 'x) E1 K2 = (plusSecondK (numE 5) E1 K1)) (continue (numV 8) K2) (interp (numE 5) E1 (doPlusK (numV 8) K1)) (continue (numV 5) (doPlusK (numV 8) K1)) (continue (numV 13) K1) (continue (numV 91) (doneK))