let xk_R10                        = 0xFFDB