let
xk_vt = 0x9e9