Every one of those federal and state workers should have matching 401K plans just like corporate employees in private sector have. No more pensions for anyone.