Put it on the debt as far as it will go?
That’s what I would do, but I think Congress would have to authorize it. I guess they just turn it back over to the treasury