> (eval-one-exp '(if (if 3 4 5) 6 7))
>(eval-expression-cps
  '(if-exp
    (if-exp (lit-exp 3) (lit-exp 4) (lit-exp 5))
    (lit-exp 6)
    (lit-exp 7))
  '(halt-cont)
  '(((*) . #((primitive *)))))
>(eval-expression-cps
  '(if-exp (lit-exp 3) (lit-exp 4) (lit-exp 5))
  '(if-cont (lit-exp 6) (lit-exp 7) (halt-cont) (((*) . #((primitive *)))))
  '(((*) . #((primitive *)))))
>(eval-expression-cps
  '(lit-exp 3)
  '(if-cont
    (lit-exp 4)
    (lit-exp 5)
    (if-cont (lit-exp 6) (lit-exp 7) (halt-cont) (((*) . #((primitive *)))))
    (((*) . #((primitive *)))))
  '(((*) . #((primitive *)))))
>(apply-cont
  '(if-cont
    (lit-exp 4)
    (lit-exp 5)
    (if-cont (lit-exp 6) (lit-exp 7) (halt-cont) (((*) . #((primitive *)))))
    (((*) . #((primitive *)))))
  3)
>(eval-expression-cps
  '(lit-exp 4)
  '(if-cont (lit-exp 6) (lit-exp 7) (halt-cont) (((*) . #((primitive *)))))
  '(((*) . #((primitive *)))))
>(apply-cont
  '(if-cont (lit-exp 6) (lit-exp 7) (halt-cont) (((*) . #((primitive *)))))
  4)
>(eval-expression-cps '(lit-exp 6) '(halt-cont) '(((*) . #((primitive *)))))
>(apply-cont '(halt-cont) 6)
<6
6
>