Not to worry. They’ll put in IOUs to replace the funds.
All is well in Lala Land.
IOU’s to replace the IOU’s that are in those retirement funds instead of the cash they already stole.