let
xk_seveneighths = 0xac6