let
xk_uparrow = 0x8fc