let xk_R5                        = 0xFFD6