let
xk_blank = 0x9df