pub const TK_D: i32 = 0x07;