int32_t instead of int.