let xk_H                   = 0x048