let xk_L4                        = 0xFFCB