let
xk_twofifths = 0xab3