let
xk_quad = 0xbcc