Section 80.42 - Sick leave benefits fund1. A sick leave benefits fund is established in the office of the treasurer of state under the control of the department of public safety. The moneys annually credited to the fund are appropriated to the department to pay health and life insurance monthly premium costs for retired departmental employees and beneficiaries who are eligible to receive benefits for accrued sick leave under the collective bargaining agreement with the state police officers council or pursuant to section 70A.23.2. Notwithstanding section 12C.7, subsection 2, interest or earnings on moneys credited to the sick leave benefits fund shall be credited to the sick leave benefits fund. Notwithstanding section 8.33, moneys credited to the sick leave benefits fund at the end of a fiscal year shall not revert to any other fund but shall remain in the fund for purposes of the fund.3. Notwithstanding section 8.39, if funds are needed to pay monthly premium costs as provided for in subsection 1, sufficient funds may be transferred and credited to the sick leave benefits fund from any moneys appropriated to the department.