HHALF
u[1] = HHALF(tmp.ul[H]);
u[3] = HHALF(tmp.ul[L]);
v[1] = HHALF(tmp.ul[H]);
v[3] = HHALF(tmp.ul[L]);
t = (B - HHALF(t)) & (B - 1);
if (HHALF(t)) {
t = HHALF(t);
u1 = HHALF(u);
v1 = HHALF(v);
prodh = high + HHALF(high);
prodh -= HHALF(mid) + (prodl > was);
prodh += HHALF(mid) + (prodl < was);
prodh += HHALF(low) + (prodl < was);
u[1] = HHALF(tmp.ul[H]);
u[3] = HHALF(tmp.ul[L]);
v[1] = HHALF(tmp.ul[H]);
v[3] = HHALF(tmp.ul[L]);
t = (B - HHALF(t)) & (B - 1);
if (HHALF(t)) {
t = HHALF(t);