Despite the documentation claiming otherwise, I just figured out that the ATxmega128B1 pushes a 3 byte return address onto the stack. This is a waste of stack and time -- but it does it anyway.
This knowledge is essential for things like FreeRTOS.
I thought I should record this fact since there seems to
be no mention of it elsewhere.