XUFIXNUM         3973 src/editfns.c  			  x = XUFIXNUM (arg);
XUFIXNUM         4643 src/fns.c      	    EMACS_UINT hash_code = XUFIXNUM (HASH_HASH (h, i));
XUFIXNUM         4673 src/fns.c            ptrdiff_t start_of_bucket = XUFIXNUM (hash_code) % ASIZE (h->index);
XUFIXNUM         4699 src/fns.c        start_of_bucket = XUFIXNUM (hash_code) % ASIZE (h->index);
XUFIXNUM         4754 src/fns.c        start_of_bucket = XUFIXNUM (hash) % ASIZE (h->index);
XUFIXNUM         4767 src/fns.c        ptrdiff_t start_of_bucket = XUFIXNUM (hash_code) % ASIZE (h->index);
XUFIXNUM         5089 src/fns.c            return XUFIXNUM (obj);
XUFIXNUM         2095 src/gnutls.c       gnutls_dh_set_prime_bits (state, XUFIXNUM (prime_bits));
XUFIXNUM         3480 src/keyboard.c 	  if (XUFIXNUM (c) < 0x100)
XUFIXNUM         3481 src/keyboard.c 	    putc (XUFIXNUM (c), dribble);
XUFIXNUM         3483 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         4308 src/w32fns.c   		    key = XUFIXNUM (Vw32_phantom_key_code) & 255;
XUFIXNUM         4324 src/w32fns.c   		    key = XUFIXNUM (Vw32_phantom_key_code) & 255;
XUFIXNUM         8830 src/w32fns.c       lparam = (XUFIXNUM (new_state)) & 1;
XUFIXNUM         9638 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;