crypto_int64_unsigned
crypto_int64_unsigned crypto_int64_unsigned_topbit_01(crypto_int64_unsigned crypto_int64_x) {
crypto_int64_unsigned crypto_int64_y = crypto_int64_x;