> (fib-cps 5 (halt-cont))
>(fib-cps 5 '(halt-cont))
>(fib-cps 4 '(fib-cont 3 (halt-cont)))
>(fib-cps 3 '(fib-cont 2 (fib-cont 3 (halt-cont))))
>(fib-cps 2 '(fib-cont 1 (fib-cont 2 (fib-cont 3 (halt-cont)))))
>(apply-cont '(fib-cont 1 (fib-cont 2 (fib-cont 3 (halt-cont)))) 1)
>(fib-cps 1 '(add-cont 1 (fib-cont 2 (fib-cont 3 (halt-cont)))))
>(apply-cont '(add-cont 1 (fib-cont 2 (fib-cont 3 (halt-cont)))) 1)
>(apply-cont '(fib-cont 2 (fib-cont 3 (halt-cont))) 2)
>(fib-cps 2 '(add-cont 2 (fib-cont 3 (halt-cont))))
>(apply-cont '(add-cont 2 (fib-cont 3 (halt-cont))) 1)
>(apply-cont '(fib-cont 3 (halt-cont)) 3)
>(fib-cps 3 '(add-cont 3 (halt-cont)))
>(fib-cps 2 '(fib-cont 1 (add-cont 3 (halt-cont))))
>(apply-cont '(fib-cont 1 (add-cont 3 (halt-cont))) 1)
>(fib-cps 1 '(add-cont 1 (add-cont 3 (halt-cont))))
>(apply-cont '(add-cont 1 (add-cont 3 (halt-cont))) 1)
>(apply-cont '(add-cont 3 (halt-cont)) 2)
>(apply-cont '(halt-cont) 5)
<5
5
>