This optimization transforms recursive calls into local loops, in order to prevent stack overflows.