[citizen]

I moved to Alabama from Georgia in summer 2020.
Georgia switched to a 401k type of pension plan for all new state employees some 25 years ago. I don’t know how it is now.

[Maine Mariner]

And for all those employees covered by 401k plans, there is no unfunded liability for the employer, public or private.