#ifndef __WRITE_ICODE_H__
#define __WRITE_ICODE_H__ 1

extern void write_icode(IMPAST *this, int display, FILE *out);

#endif