for those participants in the Foreign Service Retirement and Disability System, a refund as provided in
section 4055 of this title of the contributions made by the member to the Foreign Service Retirement and Disability Fund, except that in lieu of such refund a member who has at least 5 years of service credit toward retirement under the Foreign Service Retirement and Disability System (excluding military and naval service) may elect to receive an annuity, computed under
section 4046 of this title, commencing at age 60; and (B) for those participants in the Foreign Service Pension System, benefits as provided in
section 4071 of this title.