/* Headers for codegen.c */

extern char commentbuff[1024*1024];
extern char *cbp;

extern void dump_code(char *s, ...);  // write text to output file

extern void dump(char *s, ...);
extern void dump_comment(char *s, ...);
extern void dump_imp_source(char *s, ...);
extern void hexdump_code(int lines);
/* End of headers for codegen.c */