(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 = (addSecondK (parse '{k 8}) E1 (doneK))) (continue K1 (numV 1)) (interp (parse '{k 8}) E1 K2 = (doAddK (numV 1) (doneK))) (interp (parse 'k) E1 K3 = (appSecondK (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))