let xk_nl                                          = 0x9e8