See [Tail call optimization]