let xk_blank                                       = 0x9df