let
xk_v = 0x076