let xk_F16                        = 0xFFCD