let
xk_r = 0x072