let
xk_variation = 0x8c1