Wash. Rev. Code § 43.99G.174
The debt-limit general fund bond retirement account shall be used for the payment of the principal of and interest on the bonds authorized in RCW 43.99G.170.
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 the bond retirement and interest requirements. On each date on which any interest or principal and interest payment is due, the state treasurer shall withdraw from any general state revenues received in the state treasury and deposit in the debt-limit general fund bond retirement account an amount equal to the amount certified by the state finance committee to be due on the payment date.
Bonds issued under RCW 43.99G.170 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 the 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 mandamus or other appropriate proceeding require the transfer and payment of funds as directed in this section.
RCW 43.99G.174