let xk_F2                        = 0xFFBF