GET_HIGH_WORD
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(hy,y);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(zh,z);
GET_HIGH_WORD(ix,x);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(hy,y);
GET_HIGH_WORD(hy,y);
GET_HIGH_WORD(high,t1);
GET_HIGH_WORD(ha,x);
GET_HIGH_WORD(hb,y);
GET_HIGH_WORD(ix,x);
GET_HIGH_WORD(ix,x);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(ix,x);
GET_HIGH_WORD(ix,x);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(high,b);
GET_HIGH_WORD(high,b);
GET_HIGH_WORD(ix,x);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(hx,x);
{ax *= two53; n -= 53; GET_HIGH_WORD(ix,ax); }
GET_HIGH_WORD(j,z);
GET_HIGH_WORD(high,y[0]);
GET_HIGH_WORD(high,y[0]);
GET_HIGH_WORD(hx,x); /* high word of x */
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(jx,x);
GET_HIGH_WORD(hx, x); /* high word of x */
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(hx,x);
t*=x; GET_HIGH_WORD(high,t); SET_HIGH_WORD(t,high/3+B2);
GET_HIGH_WORD(high,t);
GET_HIGH_WORD(high,t);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(hy,y);
GET_HIGH_WORD(ix,x);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(high,y);
GET_HIGH_WORD(high,y);
GET_HIGH_WORD(high,y);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(hu,u);
GET_HIGH_WORD(hu,u);
GET_HIGH_WORD(i0, x);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(i0,t);
GET_HIGH_WORD(ix,x);
GET_HIGH_WORD(ix, x);
GET_HIGH_WORD(ix,x);