let
xk_W = 0x057