let xk_leftarrow                                   = 0x8fb