Use stdint.h, for int32_t.