pub type uint_fast32_t = u32;