let xk_lf                                          = 0x9e5