The company hasn't purchased annuity's. The company has funds set aside to provide for future/expected expenditures. Every Age 60+ guy who works til he dies helps make my pension more secure by not requiring the company spend any of that pot of money.

And, while them continuing to work has an impact on me, it isn't my business. Just as it isn't my business when someone senior to me decides whether to upgrade or not. If it was my business, then I could tell them not to take my upgrade slot, I could make retirement mandatory at age 60. But-I can't....because it's not my business