Symbol: BIT_VEC64_ELEM_SHIFT