5 U.S.C. § 5513 - U.S. Code - Unannotated Title 5. Government Organization and Employees § 5513. Withholding pay;  credit disallowed or charge raised for payment

When the Government Accountability Office, on a statement of the account of a disbursing or certifying official of the United States, disallows credit or raises a charge for a payment to an individual in or under an Executive agency otherwise entitled to pay, the pay of the payee shall be withheld in whole or in part until full reimbursement is made under regulations prescribed by the head of the Executive agency from which the payee is entitled to receive pay.  This section does not repeal or modify existing statutes relating to the collection of the indebtedness of an accountable, certifying, or disbursing official.