let xk_F14                        = 0xFFCB