let
xk_ht = 0x9e2