pub const TIOCGWINSZ: u32 = 21523; // 21_523u32