pub const INT_FAST32_WIDTH: u32 = 64;