let xk_F24                        = 0xFFD5