“ Section 1.⁠ All executive branch departments and agencies of the Federal Government shall be closed and their employees excused from duty on Monday, December 24, 2001, the day before Christmas Day, except as provided in section 2 below.
Sec. 2.⁠ The heads of executive branch departments and agencies may determine that certain offices and installations of their organizations, or parts thereof, must remain open and that certain employees must report for duty on December 24, 2001, for reasons of national security or defense or other public reasons. ”