Out of any funds in the State Treasury that may be available for such purpose, the State Treasurer is authorized and directed to pay the principal of and interest on the bonds at the respective maturities of the said principal and interest, and he is further authorized and directed to set up and maintain appropriate records pertaining thereto.