That's why you need to do a CPS transform to transform every call into a tail call, and wrap the continuation up on the heap, so you don't blow out the stack.