let xk_F33                        = 0xFFDE