crypto_int16_unsigned_topbit_01
return crypto_int16_unsigned_topbit_01(crypto_int16_x);
return crypto_int16_unsigned_topbit_01(crypto_int16_x);
return crypto_int16_unsigned_topbit_01(crypto_int16_x);
return crypto_int16_unsigned_topbit_01(crypto_int16_z);
return crypto_int16_unsigned_topbit_01(crypto_int16_z);