There shall be in the state treasury a permanent fund known as the "agricultural permanent fund," into which shall be paid all moneys derived from the sale of lands set apart by the enabling act or otherwise for an agricultural college. The income derived from investments pursuant to RCW
43.84.080 and
43.33A.140 shall be credited to the Washington State University building account less the applicable allocations to the state treasurer's service fund pursuant to RCW
43.08.190 or to the state investment board expense account pursuant to RCW
43.33A.160.