typedef int int32_t