WORD_MUL
WORD_MUL(prod_high, prod_low, in->val[i], w);
WORD_MUL(qh, ql, rl, v);
WORD_MUL(qstar, ql, rh, v);
WORD_MUL(phl[1], phl[0], qh, (b));
WORD_MUL(phl[1], phl[0], ql, (b));
WORD_MUL(t[1], t[0], q, (word_t)~dl);
WORD_MUL(prod_high, prod_low,
WORD_MUL(prod_high, prod_low, a->val[i], b->val[j]);
WORD_MUL(prod_high, prod_low, m, p->val[0]);
WORD_MUL(prod_high, prod_low, m, p->val[j]);