Except on most modern large CPUs on each recursive call the entire processor register state including program counter offset etc. are pushed onto the stack.

Seems very inefficient for the risks it brings.

I think we all agree this is still very interesting to consider. =)