Get rid of our own int32 type in favor of the standard int32_t type.