let
xk_nl = 0x9e8