Employee retirement benefits
Employee retirement benefits means employees' and Members' annuities and refunds of retirement contributions but does not include survivor annuities or lump-sum payments made pursuant to section 8342 through (f) of title 5, United States Code.