let xk_L7                        = 0xFFCE