pub const TIOCNOTTY: u32 = 21538;