The last time we shrank the federal workforce