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 , or to leave his or her contributions in the Fund and receive an annuity, computed under , commencing at age 60.section 4055 of this titlesection 4046 of this title