WRSHIFT
MUST_HAVE((WRSHIFT((b), (WORD_BITS - 1)) == WORD(1)), ret, err);
bh = WRSHIFT((b), HWORD_BITS);
WRSHIFT(phl[0], HWORD_BITS));
MUST_HAVE((WRSHIFT(rhl[1], HWORD_BITS) == 0), ret, err);
WRSHIFT(rhl[0], HWORD_BITS));
lopart = WRSHIFT(in->val[ipos], lshift);
lopart = WRSHIFT(in->val[ipos], lshift);
lopart = WRSHIFT(in->val[ipos], lshift);
lopart = WRSHIFT(in->val[ipos], lshift);