Quick search by citation:

22 U.S. Code § 285e - Authorization of appropriations; income covered into Treasury

(a)
There is hereby authorized to be appropriated, without fiscal year limitation, for the purchase of twenty thousand shares of capital stock of the Bank, $200,000,000.
(b)
Any payment made to the United States by the Bank as a distribution of net income shall be covered into the Treasury as a miscellaneous receipt.