let xk_F8                        = 0xFFC5