As far as I know, the US Treasury and FDIC are both under a legal obligation but either could be unable to fulfill its obligation if it lacks the funds. Under this scenario where the Treasury defaults, tons of banks will will be broken (since they keep money in the Treasury too), how will FDIC save them when its money is also tied up in treasuries?