This chart from the Congressional Budget Office website says everything we need to know:

We not only need to shrink the federal government, we need to cut the salaries we are paying federal workers!