let xk_R1                        = 0xFFD2