let xk_union                                       = 0x8dd