crypto_int64_negative_mask
return crypto_int64_negative_mask(crypto_int64_x);
return crypto_int64_negative_mask(crypto_int64_x);
return crypto_int64_negative_mask(crypto_int64_z);
crypto_int64_z = crypto_int64_negative_mask(crypto_int64_z);
crypto_int64_z = crypto_int64_negative_mask(crypto_int64_z);
crypto_int64_z = crypto_int64_negative_mask(crypto_int64_z);
return crypto_int64_negative_mask(crypto_int64_z);