The last time we shrank the federal workforce [audio]