Text this: Providing an order of precedence for payment of lump-sum death benefits under Civil Service Retirement Act of May 29, 1930, as amended.