pub type __int_least32_t = __int32_t;