93d2c1bde1
to int32_t. I only fixed the ones that I noticed the warnings for. Perhaps most of the format strings are correct now because they were wrong before. Except of course if int32_t isn't compatible with `int'.