The amounts required annually to pay the principal, interest, and redemption premium on all issued and outstanding general obligation bonds of the state are appropriated each fiscal year from the Alaska debt retirement fund to the state bond committee to make all required payments of principal, interest, and redemption premium. If the balance of the Alaska debt retirement fund is insufficient to fully pay these amounts, the necessary additional amounts are appropriated from the general fund to the state bond committee to make all required payments of principal, interest, and redemption premium.
AS 37.15.012