replace int32_t .. for int