2.5M federal employees, yeah, there's plenty of room to cut. Just like when a company that's losing money, it's time the US gov had massive layoffs to save money.
The average salary for federal employees is $100k according to the OPM.
Layoff 20%, save $50B per year.
Doesn't make a big dent in the $2T deficit, but it's a start.