let
xk_union = 0x8dd