(interp (parse `{let/cc k {+ 1 {k 8}}}) mt-env (doneK)) (interp (parse `{+ 1 {k 8}}) E1 = (extend-env (bind 'k (contV (doneK))) mt-env) (doneK)) (interp (parse `1) E1 K1 = (plusSecondK (parse `{k 8}) E1 (donek))) (continue K1 (numV 1)) (interp (parse `{k 8}) E1 K2 = (doPlusK (numV 1) (doneK))) (interp (parse `k) E1 K3 = (appArgK (parse `8) E1 K2)) (continue K3 (contV (doneK))) (interp (parse `8) E1 K4 = (doAppK (contV (doneK)) K2)) (continue K4 (numV 8)) (continue (doneK) (numV 8))