let xk_F13                        = 0xFFCA