let xk_R14                        = 0xFFDF