let
xk_function = 0x8f6