United States Code Title 40 — Public Buildings, Property, and Works [§ 11704. Renumbered § 11703] [§ 11704. Renumbered § 11703]