let
xk_u = 0x075