let xk_L1                        = 0xFFC8