let xk_F35                        = 0xFFE0