let
xk_fourfifths = 0xab5