pub const KDGKBLED: u32 = 19300;