let xk_F15                        = 0xFFCC