let
xk_threeeighths = 0xac4