> (eval-one-exp '(* 3 4))
>(eval-expression-cps
  '(app-exp ((var-exp *) (lit-exp 3) (lit-exp 4)))
  '(halt-cont)
  '(((*) . #((primitive *)))))
>(eval-expressions-cps
  '((var-exp *) (lit-exp 3) (lit-exp 4))
  '(proc-cont (halt-cont))
  '(((*) . #((primitive *)))))
>(eval-expression-cps
  '(var-exp *)
  '(eval-exps-cont
    ((lit-exp 3) (lit-exp 4))
    (proc-cont (halt-cont))
    (((*) . #((primitive *)))))
  '(((*) . #((primitive *)))))
>(apply-cont
  '(eval-exps-cont
    ((lit-exp 3) (lit-exp 4))
    (proc-cont (halt-cont))
    (((*) . #((primitive *)))))
  '(primitive *))
>(eval-expressions-cps
  '((lit-exp 3) (lit-exp 4))
  '(cons-cont (primitive *) (proc-cont (halt-cont)))
  '(((*) . #((primitive *)))))
>(eval-expression-cps
  '(lit-exp 3)
  '(eval-exps-cont
    ((lit-exp 4))
    (cons-cont (primitive *) (proc-cont (halt-cont)))
    (((*) . #((primitive *)))))
  '(((*) . #((primitive *)))))
>(apply-cont
  '(eval-exps-cont
    ((lit-exp 4))
    (cons-cont (primitive *) (proc-cont (halt-cont)))
    (((*) . #((primitive *)))))
  3)
>(eval-expressions-cps
  '((lit-exp 4))
  '(cons-cont 3 (cons-cont (primitive *) (proc-cont (halt-cont))))
  '(((*) . #((primitive *)))))
>(eval-expression-cps
  '(lit-exp 4)
  '(eval-exps-cont
    ()
    (cons-cont 3 (cons-cont (primitive *) (proc-cont (halt-cont))))
    (((*) . #((primitive *)))))
  '(((*) . #((primitive *)))))
>(apply-cont
  '(eval-exps-cont
    ()
    (cons-cont 3 (cons-cont (primitive *) (proc-cont (halt-cont))))
    (((*) . #((primitive *)))))
  4)
>(eval-expressions-cps
  '()
  '(cons-cont
    4
    (cons-cont 3 (cons-cont (primitive *) (proc-cont (halt-cont)))))
  '(((*) . #((primitive *)))))
>(apply-cont
  '(cons-cont
    4
    (cons-cont 3 (cons-cont (primitive *) (proc-cont (halt-cont)))))
  '())
>(apply-cont
  '(cons-cont 3 (cons-cont (primitive *) (proc-cont (halt-cont))))
  '(4))
>(apply-cont '(cons-cont (primitive *) (proc-cont (halt-cont))) '(3 4))
>(apply-cont '(proc-cont (halt-cont)) '((primitive *) 3 4))
>(apply-procedure '(primitive *) '(3 4) '(halt-cont))
>(apply-cont '(halt-cont) 12)
<12
12
>