prints_bf
prints_bf(dbuf, ext, 6, 4);
prints_bf(dbuf, opc, 7, 0);
static void prints_bf(dis_buffer_t *, int, int, int);