Actually, we can adjust the code to be a tail-call version; this will remove the overhead of some function calls.

The paper proved this.