let
xk_S = 0x053