crypto_int64_unsigned_topbit_01
return crypto_int64_unsigned_topbit_01(crypto_int64_x);
return crypto_int64_unsigned_topbit_01(crypto_int64_x);
return crypto_int64_unsigned_topbit_01(crypto_int64_x);
return crypto_int64_unsigned_topbit_01(crypto_int64_z);
return crypto_int64_unsigned_topbit_01(crypto_int64_z);