BitMask_uint64_t_64