federal workers have a TSP plan to which they contribute (like a 401K)
In fact having bumped up to the debt ceiling Timmy Geithner uses part of the TSP fund to run the government, I believe, an end run around getting Congress to raise the debt ceiling
And this is the second time this year the government “borrowed” the federal pension funds to run the govt
Of course they “promise” to pay it back
Oh, dear, that’s no good at all. I put 13% of my pay into the TSP, with the expectation that I will get it all back after I retire!