int16_t __float32_to_int16(float32_t arg);
__float32_to_int16 converts the floating value arg> to a 16-bit signed integer, truncating towards zero, and returns the truncated value as the result.