crypto_int32_unsigned_topbit_01
return crypto_int32_unsigned_topbit_01(crypto_int32_z);
return crypto_int32_unsigned_topbit_01(crypto_int32_x);
return crypto_int32_unsigned_topbit_01(crypto_int32_x);
return crypto_int32_unsigned_topbit_01(crypto_int32_x);
return crypto_int32_unsigned_topbit_01(crypto_int32_z);