Tail calls don't clobber tail position tracking