let xk_F17                        = 0xFFCE