pub const TK_F9: i32 = 0x42;