Lump-sum payments

A participant is entitled to be paid a lump-sum credit if the participant— Whenever an annuitant becomes separated from the Service following a period of recall service without becoming eligible for a supplemental or recomputed annuity under section 4063 of this title, the compulsory contributions of the annuitant to the Fund for such service, together with any special contributions the annuitant may have made for other service performed after the date of separation from the Service which forms the basis for annuity, shall be returned to the annuitant (and any former spouse of the annuitant who was married to the participant during the period of recall service, in accordance with subsection (i)). If all annuity rights under this part based on the service of a deceased participant or annuitant terminate before the total annuity paid equals the lump-sum credit to which the participant or annuitant is entitled, the difference shall be paid in accordance with subsection (f). If a participant or former participant dies and is not survived by an individual eligible for an annuity under this part or by such an individual or individuals all of whose annuity rights terminate before a claim for survivor annuity is filed, the lump-sum credit to which the participant or annuitant is entitled shall be paid in accordance with subsection (f). If an annuitant who was a former participant dies, any annuity accrued and unpaid shall be paid in accordance with subsection (f). Payments under subsections (c) through (e) shall be paid in the following order of precedence to individuals surviving the participant and alive on the date entitlement to the payment arises, upon the establishment of a valid claim therefor, and such payment shall be a bar to recovery by any other person: Annuity accrued and unpaid on the death of a survivor annuitant shall be paid in the following order of precedence, and the payment bars recovery by any other person: 11 See Amendment of Section note below. Amounts deducted and withheld from basic salary of a participant under section 4045 of this title from the beginning of the first pay period after the participant has completed 35 years of service computed under section 4056 of this title (excluding service credit for unused sick leave under section 4056(b) of this title), together with interest on the amounts at the rate of 3 percent a year compounded annually from the date of the deduction to the date of retirement or death, shall be applied toward any special contribution due under section 4045(d) of this title), and any balance not so required shall be refunded in a lump sum to the participant after separation or, in the event of a death in service, to a beneficiary in the order of precedence specified in subsection (f). Unless otherwise expressly provided by any spousal agreement or court order under section 4060(b)(1) of this title, the amount of a participant’s or former participant’s lump-sum credit payable to a former spouse of that participant shall be—