let
xk_w = 0x077