let xk_E                   = 0x045