let xk_L8                        = 0xFFCF