There is established in the State Treasury the State Institution Bonds and State Highway Bonds Debt Service Fund which must be maintained separately from the general fund and other funds. Annually there must be credited to this account amounts sufficient for debt service payments on state institution bonds and state highway bonds. Amounts credited to this fund are not considered state general fund revenues.