This seems a little confusing--the tail call isn't really eliminated per se, it just behaves differently in terms of stack space. Semantically, it's still a cal

This seems a little confusing--the tail call isn't really eliminated per se, it just behaves differently in terms of stack space. Semantically, it's still a call, just one that does not have any unnecessary additional overhead.