pub const KDGKBSENT: u32 = 19272;