let xk_L3                        = 0xFFCA