Quick search by citation:

42 U.S. Code § 1856c - Service in line of duty

Any service performed under section 1856a or section 1856b of this title, by any officer or employee of the United States or any member of any armed force of the United States shall constitute service rendered in line of duty in such office, employment, or force. The performance of such service by any other individual shall not constitute such individual an officer or employee of the United States for the purposes of subchapter I of chapter 81 of title 5.

(May 27, 1955, ch. 105, § 4, 69 Stat. 67.)
Editorial Notes
Codification

“Subchapter I of chapter 81 of title 5” substituted for “the Federal Employees’ Compensation Act, as amended” on authority of Pub. L. 89–554, § 7(b), Sept. 6, 1966, 80 Stat. 631, the first section of which enacted Title 5, Government Organization and Employees.