Wash. Rev. Code § 43.83F.040
The state building refunding bond redemption fund is hereby created in the state treasury, which fund shall be exclusively devoted to the payment of the principal of and interest on the bonds authorized by this chapter. The state finance committee, shall, on or before June 30th of each year, certify to the state treasurer the amount needed in the ensuing twelve months to meet such bond retirement and interest requirements and on July 1st of each year the state treasurer shall deposit such amount in the state building bond redemption fund from any general state revenues received in the state treasury and certified by the state treasurer to be general state revenues. Bonds issued under the provisions of this chapter shall state that they are a general obligation of the state of Washington, shall pledge the full faith and credit of the state to the payment of the principal thereof and the interest thereon and shall contain an unconditional promise to pay such principal and interest as the same shall become due. The owner and holder of each of the bonds or the trustee for the owner and holder of any of the bonds may by a mandamus or other appropriate proceeding require the transfer and payment of funds as directed herein.
RCW 43.83F.040