let
xk_division = 0x0f7