let xk_F22                        = 0xFFD3