crypto_int32_unsigned
crypto_int32_unsigned crypto_int32_y = crypto_int32_x;
crypto_int32_unsigned crypto_int32_unsigned_topbit_01(crypto_int32_unsigned crypto_int32_x) {