In accordance with § 403(b) of the Internal Revenue Code, a participating employee’s rights to benefits under an annuity contract purchased under the program shall be fully vested and nonforfeitable.