Rename int32 in int32_t