Effective ATS:
Loops as Tail-Recursive Functions