let xk_F6                        = 0xFFC3