crypto_int64_nonzero_01
return 1-crypto_int64_nonzero_01(crypto_int64_x);
return crypto_int64_nonzero_01(crypto_int64_x ^ crypto_int64_y);