“During the current fiscal year and hereafter, funds appropriated or otherwise available for any Federal agency, the Congress, the judicial branch, or the District of Columbia may be used for the pay, allowances, and benefits of an employee as defined by section 2105 of title 5, United States Code, or an individual employed by the government of the District of Columbia, permanent or temporary indefinite, who—“(1) is a member of a Reserve component of the Armed Forces, as described in section 10101 of title 10, United States Code, or the National Guard, as described in section 101 of title 32, United States Code;
“(2) performs, for the purpose of providing military aid to enforce the law or providing assistance to civil authorities in the protection or saving of life or property or prevention of injury—“(A) Federal service under sections 331 [now 251], 332 [now 252], 333 [now 253], or 12406 of title 10, United States Code, or other provision of law, as applicable; or
“(B) full-time military service for his or her State, the District of Columbia, the Commonwealth of Puerto Rico, or a territory of the United States; and
“(3) requests and is granted—“(A) leave under the authority of this section; or
“(B) annual leave, which may be granted without regard to the provisions of sections 5519 and 6323(b) of title 5, United States Code, if such employee is otherwise entitled to such annual leave:
Provided, That any employee who requests leave under subsection (3)(A) for service described in subsection (2) of this section is entitled to such leave, subject to the provisions of this section and of the last sentence of section 6323(b) of title 5, United States Code, and such leave shall be considered leave under section 6323(b) of title 5, United States Code.”