let xk_ht                                          = 0x9e2