value_barrier_64
#define value_barrier_c448(x) value_barrier_64(x)
return (value_barrier_64(mask) & a) | (value_barrier_64(~mask) & b);
xor&= value_barrier_64(mask);