let xk_R3                        = 0xFFD4