(interp (parse '{{lambda {f} {f {lambda {x} 10}}} {let/cc k k}}) mt-env (doneK)) (interp (parse '{lambda {f} {f {lambda {x} 10}}}) mt-env (appArgK (parse '{let/cc k k}) mt-env (doneK))) (continue (appArgK (parse '{let/cc k k}) mt-env (doneK)) (closV 'f (parse '{f {lambda {x} 10}}) mt-env)) (interp (parse '{let/cc k k}) mt-env (doAppK (closV 'f (parse '{f {lambda {x} 10}}) mt-env) (doneK))) (interp (parse `k) (extend-env (bind 'k (contV (doAppK (closV 'f (parse '{f {lambda {x} 10}}) mt-env) (doneK)))) mt-env) (doAppK (closV 'f (parse '{f {lambda {x} 10}}) mt-env) (doneK))) (continue (doAppK (closV 'f (parse '{f {lambda {x} 10}}) mt-env) (doneK)) (contV (doAppK (closV 'f (parse '{f {lambda {x} 10}}) mt-env) (doneK)))) (interp (parse '{f {lambda {x} 10}}) (extend-env (bind 'f (contV (doAppK (closV 'f (parse '{f {lambda {x} 10}}) mt-env) (doneK)))) mt-env) (doneK)) (interp (parse `f) (extend-env (bind 'f (contV (doAppK (closV 'f (parse '{f {lambda {x} 10}}) mt-env) (doneK)))) mt-env) (appArgK (parse '{lambda {x} 10}) (extend-env (bind 'f (contV (doAppK (closV 'f (parse '{f {lambda {x} 10}}) mt-env) (doneK)))) mt-env) (doneK))) (continue (appArgK (parse '{lambda {x} 10}) (extend-env (bind 'f (contV (doAppK (closV 'f (parse '{f {lambda {x} 10}}) mt-env) (doneK)))) mt-env) (doneK)) (contV (doAppK (closV 'f (parse '{f {lambda {x} 10}}) mt-env) (doneK)))) (interp (parse '{lambda {x} 10}) (extend-env (bind 'f (contV (doAppK (closV 'f (parse '{f {lambda {x} 10}}) mt-env) (doneK)))) mt-env) (doAppK (contV (doAppK (closV 'f (parse '{f {lambda {x} 10}}) mt-env) (doneK))) (doneK))) (continue (doAppK (contV (doAppK (closV 'f (parse '{f {lambda {x} 10}}) mt-env) (doneK))) (doneK)) (closV 'x (parse '10) ...E1...)) (continue (doAppK (closV 'f (parse '{f {lambda {x} 10}}) mt-env) (doneK)) (closV 'x (parse '10) ...E1...)) (interp (parse '{f {lambda {x} 10}}) (extend-env (bind 'f (closV 'x (parse '10) ...E1...)) mt-env) (doneK)) (interp (parse `f) (extend-env (bind 'f (closV 'x (parse '10) ...E1...)) mt-env) (appArgK (parse '{lambda {x} 10}) (extend-env (bind 'f (closV 'x (parse '10) ...E1...)) mt-env) (doneK))) (continue (appArgK (parse '{lambda {x} 10}) (extend-env (bind 'f (closV 'x (parse '10) ...E1...)) mt-env) (doneK)) (closV 'x (parse '10) ...E1...)) (interp (parse '{lambda {x} 10}) (extend-env (bind 'f (closV 'x (parse '10) ...E1...)) mt-env) (doAppK (closV 'x (parse '10) ...E1...) (doneK))) (continue (doAppK (closV 'x (parse '10) ...E1...) (doneK)) (closV 'x (parse '10) ...E2...)) (interp (parse '10) (extend-env (bind 'x (closV 'x (parse '10) ...E2...)) ...E1...) (doneK)) (continue (doneK) (numV 10)) result: (numV 10)