DUMPBINS

Definition of DUMPBINS