let
xk_q = 0x071