XUFIXNUM         3981 src/editfns.c  			  x = XUFIXNUM (arg);
XUFIXNUM         4679 src/fns.c      	    EMACS_UINT hash_code = XUFIXNUM (HASH_HASH (h, i));
XUFIXNUM         4709 src/fns.c            ptrdiff_t start_of_bucket = XUFIXNUM (hash_code) % ASIZE (h->index);
XUFIXNUM         4735 src/fns.c        start_of_bucket = XUFIXNUM (hash_code) % ASIZE (h->index);
XUFIXNUM         4790 src/fns.c        start_of_bucket = XUFIXNUM (hash) % ASIZE (h->index);
XUFIXNUM         4803 src/fns.c        ptrdiff_t start_of_bucket = XUFIXNUM (hash_code) % ASIZE (h->index);
XUFIXNUM         5125 src/fns.c            return XUFIXNUM (obj);
XUFIXNUM         2256 src/gnutls.c       gnutls_dh_set_prime_bits (state, XUFIXNUM (prime_bits));
XUFIXNUM         3511 src/keyboard.c 	  if (XUFIXNUM (c) < 0x100)
XUFIXNUM         3512 src/keyboard.c 	    putc (XUFIXNUM (c), dribble);
XUFIXNUM         3514 src/keyboard.c 	    fprintf (dribble, " 0x%"pI"x", XUFIXNUM (c));
XUFIXNUM          506 src/w32fns.c     XSETINT (rgb, RGB (XUFIXNUM (red), XUFIXNUM (green), XUFIXNUM (blue)));
XUFIXNUM         1072 src/w32fns.c   	  w32_color_ref = XUFIXNUM (tem);
XUFIXNUM         1088 src/w32fns.c   	      if (W32_COLOR (entry->entry) == XUFIXNUM (tem))
XUFIXNUM         1098 src/w32fns.c   	      SET_W32_COLOR (entry->entry, XUFIXNUM (tem));
XUFIXNUM         1110 src/w32fns.c         w32_color_ref = XUFIXNUM (tem) | 0x2000000;
XUFIXNUM         4341 src/w32fns.c   		    key = XUFIXNUM (Vw32_phantom_key_code) & 255;
XUFIXNUM         4357 src/w32fns.c   		    key = XUFIXNUM (Vw32_phantom_key_code) & 255;
XUFIXNUM         8863 src/w32fns.c       lparam = (XUFIXNUM (new_state)) & 1;
XUFIXNUM         9674 src/w32fns.c   	  && ((XUFIXNUM (new_state)) & 1) != cur_state))
XUFIXNUM          185 src/w32inevt.c 		faked_key = XUFIXNUM (Vw32_phantom_key_code) & 255;
XUFIXNUM          202 src/w32inevt.c 		faked_key = XUFIXNUM (Vw32_phantom_key_code) & 255;