“Sections 3111 and 3112 of title 40” substituted in text for “section 355, Revised Statutes, as amended (40 U.S.C. 255)” on authority of Pub. L. 107–217, § 5(c), Aug. 21, 2002, 116 Stat. 1303, the first section of which enacted Title 40, Public Buildings, Property, and Works.