< [Effective until July 1, 2002, this section reads as follows:] >

No retirement benefit or preretirement death benefit may be paid by the State for service rendered while participating in the optional retirement program. The benefits are payable to optional retirement program participants or their beneficiaries by the designated companies in accordance with the terms of the annuity contracts issued to participants.