pub const TK_SHIFT: i32 = 0x70;