crypto_int16_nonzero_01
return 1-crypto_int16_nonzero_01(crypto_int16_x);
return crypto_int16_nonzero_01(crypto_int16_x ^ crypto_int16_y);