22 U.S.C. § 4065: Voluntary contribution account

returned in a lump sum; used to purchase an additional life annuity; 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 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). 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. 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 .