let xk_R4                        = 0xFFD5