let xk_F20                        = 0xFFD1