bitset64
mod_addr = bitset64(mod_addr, i, i, val);
dec->dec_norm_addr = bitset64(dec->dec_norm_addr, start + 1,
high = bitset64(high, np2->zukr_div_naddr - 1, 0, insert);
extern uint64_t bitset64(uint64_t, uint_t, uint_t, uint64_t);