* armrdi.c (ARMul_ConsolePrint): Add missing va_end.
* run.c (verbose): Make global.
* wrapper.c (init): Set state->verbose.
(ARMul_ConsolePrint): Don't print anything if !verbose.
extern int optind;
extern char *optarg;
extern int optind;
extern char *optarg;
int target_byte_order;
int
int target_byte_order;
int
bfd_vma start_address;
asection *s;
int i;
bfd_vma start_address;
asection *s;
int i;
int trace = 0;
char *name = "";
int trace = 0;
char *name = "";