let
xk_twothirds = 0xab1