You think the US government is gonna go "whoops, our central bank failed, and we aren't willing to pay a fraction of the cost of the F-35 program to bail them out"?
But then if you take another moment to think about it a bit more, it turns out that financial services is 20% of the market cap of the s&p500; 20% of all corporate income; and 7.5% of total GDP in a $20+ trillion economy.. so maybe 42B isn't as much money as it seems.
It isn't alarming that the institution in charge of money is in the hole by a huge amount? The dollar amount isn't the real issue; but rather that they've done such a poor job at it.