let
xk_R = 0x052