pub const KDGKBTYPE: u32 = 19251;