They have a pension, at least federal law enforcement. Not 100% about ATC.

Edit: someone above said it, they have pensions too. Not saying this is a reason to go to 67, but that’s a big difference when you are funding your own retirement.