crypto_int32_nonzero_01
return 1-crypto_int32_nonzero_01(crypto_int32_x);
return crypto_int32_nonzero_01(crypto_int32_x ^ crypto_int32_y);