> (rep) >> (if 3 4 5) |(eval-expression (if-exp (lit-exp 3) (lit-exp 4) (lit-exp 5)) (halt-cont) (((a b) . #2(3 4)))) |(eval-expression (lit-exp 3) (if-cont (lit-exp 4) (lit-exp 5) (halt-cont) (((a b) . #2(3 4)))) (((a b) . #2(3 4)))) |(apply-cont (if-cont (lit-exp 4) (lit-exp 5) (halt-cont) (((a b) . #2(3 4)))) 3) |(eval-expression (lit-exp 4) (halt-cont) (((a b) . #2(3 4)))) |(apply-cont (halt-cont) 4) 4 |# # >>