extern struct output_format output_text_hex;
extern struct output_format output_binary;
extern struct output_format output_vcd;
extern struct output_format output_text_hex;
extern struct output_format output_binary;
extern struct output_format output_vcd;