let
xk_s = 0x073