let
xk_H = 0x048