let xk_identical                                   = 0x8cf