Symbol: BIT_VEC64_SET_BIT