. . . . "In addition to arsenals, working capital funds sell fuel to the military, run maintenance depots and provide services such as accounting and systems administration." .