let
xk_oneeighth = 0xac3