5 U.S.C. § 6123: Flexible schedules; computation of premium pay

the head of an agency may, on request of the employee, grant the employee compensatory time off in lieu of payment for such overtime hours, whether or not irregular or occasional in nature and notwithstanding the provisions of sections 5542(a), 5543(a)(1) and section 1 5544(a) of this title, 1 So in original. The word “section” probably should not appear. section 7453(e) of title 38 , section 7 of the Fair Labor Standards Act ( 29 U.S.C. 207 ), or any other provision of law; or the employee shall be compensated for such overtime hours in accordance with such provisions, as applicable. Notwithstanding the provisions of law referred to in subsection (a)(1) of this section, an employee shall not be entitled to be compensated for credit hours worked except to the extent authorized under section 6126 of this title or to the extent such employee is allowed to have such hours taken into account with respect to the employee’s basic work requirement. the number of hours during which such employee must be present for work, plus the number of hours during which such employee may elect to work credit hours or elect the time of arrival at and departure from work, if an employee is on a flexible schedule under which the hours that such employee must be present for work include any hours designated in or under such section 5545(a), such premium pay shall be paid for such hours so designated. in the case of an employee subject to subsection (f) of such section 5343, for which all or a majority of the hours of such schedule for any day fall between the hours specified in such subsection, or in the case of an employee subject to subsection (b) of such section 7453, for which 4 hours of such schedule fall between the hours specified in such subsection.