let xk_F23                        = 0xFFD4