/* Headers for showicode.c */
extern void show_icode(IMPAST *this, int display, FILE *out);
/* End of headers for showicode.c */