value_barrier_32
#define value_barrier_c448(x) value_barrier_32(x)
if (value_barrier_32((mask & v) != 0))
if (value_barrier_32((mask & v) != 0))
if (value_barrier_32(nibble < 9)) {
if (value_barrier_32(nibble < 15)) {
if (value_barrier_32(constant_time_ge(z_max, gamma1 - params->beta)
if (value_barrier_32(constant_time_ge(ct0_max, gamma2)
return (value_barrier_32(mask) & a) | (value_barrier_32(~mask) & b);
xor&= value_barrier_32(mask);