5 GCA § 22417: Use of Revenues, General Obligation Bonds.

From the date of issuance of the first bonds authorized by § 22416 of this Code, all revenues thereafter received by the government for deposit in the General Fund, other than revenues pledged or required for the payment of principal of and interest on the bonds authorized by § 22416 of this Code, shall be paid to the Retirement Fund until the payments to the Retirement Fund together with the proceeds, if any, of the bonds paid to the Retire-ment Fund, satisfying the accrued obligation of the General Fund of Forty-three Million Two Hundred Thousand Dollars ($43,200,000) to the Retirement Fund, with interest, if any, as provided by law. Thereafter, such revenues shall be available for appropriation as provided by law.