let
xk_threefifths = 0xab4