BIT_VEC64_ELEM_MASK
(idx) & BIT_VEC64_ELEM_MASK)
((idx) & BIT_VEC64_ELEM_MASK)) & 0x1)
(((u64)0x1 << (((idx) & BIT_VEC64_ELEM_MASK) + 1)) - 1)