Revenues of, and proceeds from the sale of troubled assets purchased under this chapter, or from the sale, exercise, or surrender of warrants or senior debt instruments acquired under section
5223 of this title shall be paid into the general fund of the Treasury for reduction of the public debt.