Discontinued Service Retirement.—

Sec. 810. [22 U.S.C. 4050] Discontinued Service Retirement.—Any participant who voluntarily separates from the Service after obtaining at least 5 years of service credit toward retirement under the System (excluding military and naval service) may upon separation from the Service or at any time prior to becoming eligible for an annuity elect to have his or her contributions to the Fund returned in accordance with section 815, or to leave his or her contributions in the Fund and receive an annuity, computed under section 806, commencing at age 60.