let
xk_identical = 0x8cf