let xk_vt                                          = 0x9e9