let xk_R9                        = 0xFFDA