add_xint
static void add_xint(inst_buffer * ib, int i);
add_xint(ib, ib->opc);
add_xint(ib, loc);
add_xint(ib, diff);