To amend title 5, United States Code, to provide for an annuity supplement for certain air traffic controllers.