The implementation of banked_call saves the original bank in the y register, but that being a caller-saved register, the function being called is free to modify it, destroying the original bank information.