Changed int to int32_t