((a)) ** Composition; election and return** The voluntary contribution account shall be the sum of unrefunded amounts voluntarily contributed prior to , by any participant or former participant under any prior law authorizing such contributions to the Fund, plus interest compounded at the rate of 3 percent per year to the date of separation from the Service or (in case of participant or former participant separated with entitlement to a deferred annuity) to the date the voluntary contribution account is claimed, the commencing date fixed for the deferred annuity, or the date of death, whichever is earlier. Effective on the date the participant becomes eligible for an annuity or a deferred annuity and at the election of the participant, his or her account shall be—
((1)) returned in a lump sum;
((2)) used to purchase an additional life annuity;
((3)) used to purchase an additional life annuity for the participant and to provide for a cash payment on his or her death to a beneficiary whose name shall be notified in writing to the Secretary of State by the participant; or
((4)) used to purchase an additional life annuity for the participant and a life annuity commencing on his or her death payable to a beneficiary whose name shall be notified in writing to the Secretary of State by the participant, with a guaranteed return to the beneficiary or his or her legal representative of an amount equal to the cash payment referred to in paragraph (3).
((b)) ** Computation of benefits** The benefits provided by subsection (a)(2), (3), or (4) shall be actuarially equivalent in value to the payment provided for by subsection (a)(1) and shall be calculated upon such tables of mortality as may be from time to time prescribed for this purpose by the Secretary of the Treasury.
((c)) ** Lump-sum payment; time; order of precedence** A voluntary contribution account shall be paid in a lump sum following receipt of an application therefor from a present or former participant if application is filed prior to payment of any additional annuity. If not sooner paid, the account shall be paid at such time as the participant separates from the Service for any reason without entitlement to an annuity or a deferred annuity or at such time as a former participant dies or withdraws compulsory contributions to the Fund. In case of death, the account shall be paid in the order of precedence specified in .section 4055(f) of this title