/* Headers for icode.c */

#define MAX_LABEL_IDS (64*1024)
extern int label_id[MAX_LABEL_IDS];        /* init to 0 means not used */
// not sure yet if safe to conflate the two types of label...
extern int user_label_id[MAX_LABEL_IDS];   /* init to 0 means not used */

extern const char *icode_name[256];
extern int get_next_lineno(void);
extern int get_icode(FILE *f);
extern int getbyte(void);
extern int getshort(void);
extern int gettag(void);
extern int getwordconst(void);
extern char *getname(void);
extern char *getrawstring(void);
extern char *getimpstring(void);
extern char *getmcstring(int *cp);


extern short int getforwardlab_from_tag(short int *tag);
extern short int getbackwardlab_from_tag(short int *tag);

extern short int setforwardlab_from_tag(short int tag);
extern short int setbackwardlab_from_tag(short int tag);

extern int get_next_user_label(void);
/* End of headers for icode.c */