pub const TCGETS: u32 = 0x5401; // 21_505u32