let
xk_T = 0x054