GET_HIGH_WORD
GET_HIGH_WORD(high,x);
GET_HIGH_WORD(high,x);
GET_HIGH_WORD(high,x);
GET_HIGH_WORD(hx, x);
GET_HIGH_WORD(hy, y);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(ix,x);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(ha,x);
GET_HIGH_WORD(hb,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(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(jx,x);
GET_HIGH_WORD(hx, exp_x);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(high,t);
GET_HIGH_WORD(hax, ax);
GET_HIGH_WORD(hay, ay);
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,x);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(hu,u);
GET_HIGH_WORD(hu,u);
GET_HIGH_WORD(ix,x);
GET_HIGH_WORD(high,x);
GET_HIGH_WORD(high,x);
GET_HIGH_WORD(high,x);
GET_HIGH_WORD(hx,x);
GET_HIGH_WORD(i0,t);
GET_HIGH_WORD(hx, x);
GET_HIGH_WORD(ix,x);
GET_HIGH_WORD(ix, x);
GET_HIGH_WORD(ix,x);
GET_HIGH_WORD(jx,x);