INTLEVENCODE
int_used |= INTLEVENCODE(intrmap[len].in_lev);
pri = INTLEVENCODE(2);
pri = INTLEVENCODE(intrmap[i].in_lev);