let xk_F34                        = 0xFFDF