let xk_uparrow                                     = 0x8fc