Past efforts to shrink the federal bureaucracy, including basic things like selling off unused government buildings, have ...