let xk_R6                        = 0xFFD7