Senior Executive Service, referred to in subsec. (a), see section 5382 of Title 5, Government Organization and Employees.