let xk_T                   = 0x054