let xk_F10                        = 0xFFC7