CHECK_FIXNUM      455 src/androidfns.c       CHECK_FIXNUM (icon_x);
CHECK_FIXNUM      456 src/androidfns.c       CHECK_FIXNUM (icon_y);
CHECK_FIXNUM      731 src/androidfns.c     CHECK_FIXNUM (parent);
CHECK_FIXNUM     2221 src/androidfns.c     CHECK_FIXNUM (dx);
CHECK_FIXNUM     2226 src/androidfns.c     CHECK_FIXNUM (dy);
CHECK_FIXNUM     1600 src/buffer.c     CHECK_FIXNUM (tick);
CHECK_FIXNUM     2382 src/buffer.c       CHECK_FIXNUM (position);
CHECK_FIXNUM      648 src/casefiddle.c   CHECK_FIXNUM (arg);
CHECK_FIXNUM      890 src/character.c   CHECK_FIXNUM (character);
CHECK_FIXNUM      973 src/charset.c        CHECK_FIXNUM (val);
CHECK_FIXNUM     1045 src/charset.c        CHECK_FIXNUM (parent_code_offset);
CHECK_FIXNUM     1386 src/charset.c    CHECK_FIXNUM (dimension);
CHECK_FIXNUM     1387 src/charset.c    CHECK_FIXNUM (chars);
CHECK_FIXNUM      555 src/chartab.c    CHECK_FIXNUM (n);
CHECK_FIXNUM      570 src/chartab.c    CHECK_FIXNUM (n);
CHECK_FIXNUM     1224 src/chartab.c    CHECK_FIXNUM (value);
CHECK_FIXNUM       50 src/cmds.c         CHECK_FIXNUM (n);
CHECK_FIXNUM      165 src/cmds.c         CHECK_FIXNUM (n);
CHECK_FIXNUM      190 src/cmds.c         CHECK_FIXNUM (n);
CHECK_FIXNUM      233 src/cmds.c       CHECK_FIXNUM (n);
CHECK_FIXNUM      276 src/cmds.c       CHECK_FIXNUM (n);
CHECK_FIXNUM     10299 src/coding.c     CHECK_FIXNUM (count);
CHECK_FIXNUM     10355 src/coding.c     CHECK_FIXNUM (count);
CHECK_FIXNUM     11243 src/coding.c         CHECK_FIXNUM (XCAR (reg_usage));
CHECK_FIXNUM     11244 src/coding.c         CHECK_FIXNUM (XCDR (reg_usage));
CHECK_FIXNUM     2494 src/data.c       CHECK_FIXNUM (idx);
CHECK_FIXNUM     2545 src/data.c       CHECK_FIXNUM (idx);
CHECK_FIXNUM     3025 src/data.c           CHECK_FIXNUM (base);
CHECK_FIXNUM      406 src/dbusbind.c       CHECK_FIXNUM (object);
CHECK_FIXNUM     3462 src/dispnew.c    CHECK_FIXNUM (mouse_x);
CHECK_FIXNUM     3463 src/dispnew.c    CHECK_FIXNUM (mouse_y);
CHECK_FIXNUM     6218 src/dispnew.c        CHECK_FIXNUM (milliseconds);
CHECK_FIXNUM       69 src/dosfns.c     CHECK_FIXNUM (interrupt);
CHECK_FIXNUM       75 src/dosfns.c       CHECK_FIXNUM (AREF (registers, i));
CHECK_FIXNUM      109 src/dosfns.c     CHECK_FIXNUM (address);
CHECK_FIXNUM      132 src/dosfns.c     CHECK_FIXNUM (address);
CHECK_FIXNUM      142 src/dosfns.c         CHECK_FIXNUM (AREF (vector, i));
CHECK_FIXNUM      157 src/dosfns.c     CHECK_FIXNUM (country_code);
CHECK_FIXNUM      169 src/editfns.c    CHECK_FIXNUM (byte);
CHECK_FIXNUM      979 src/editfns.c    CHECK_FIXNUM (bytepos);
CHECK_FIXNUM     1506 src/editfns.c      CHECK_FIXNUM (count);
CHECK_FIXNUM     1550 src/editfns.c    CHECK_FIXNUM (byte);
CHECK_FIXNUM     3849 src/eval.c       CHECK_FIXNUM (level);
CHECK_FIXNUM     3623 src/fileio.c     CHECK_FIXNUM (mode);
CHECK_FIXNUM     3660 src/fileio.c     CHECK_FIXNUM (mode);
CHECK_FIXNUM      205 src/floatfns.c   CHECK_FIXNUM (exponent);
CHECK_FIXNUM      202 src/fns.c        CHECK_FIXNUM (length);
CHECK_FIXNUM      217 src/fns.c        CHECK_FIXNUM (length);
CHECK_FIXNUM      232 src/fns.c        CHECK_FIXNUM (length);
CHECK_FIXNUM     6058 src/fns.c            CHECK_FIXNUM (start_pos);
CHECK_FIXNUM     6176 src/fns.c            CHECK_FIXNUM (position);
CHECK_FIXNUM      390 src/font.c     		CHECK_FIXNUM (AREF (AREF (table, i), 0));
CHECK_FIXNUM      403 src/font.c     		CHECK_FIXNUM (AREF (AREF (table, i), 0));
CHECK_FIXNUM      427 src/font.c     	  CHECK_FIXNUM (AREF (AREF (table, i), 0));
CHECK_FIXNUM      596 src/font.c     	      CHECK_FIXNUM (AREF (elt, 0));
CHECK_FIXNUM     4173 src/font.c           CHECK_FIXNUM (num);
CHECK_FIXNUM     4589 src/font.c         CHECK_FIXNUM (LGSTRING_SLOT (gstring, LGSTRING_IX_LBEARING));
CHECK_FIXNUM     4591 src/font.c         CHECK_FIXNUM (LGSTRING_SLOT (gstring, LGSTRING_IX_RBEARING));
CHECK_FIXNUM     4595 src/font.c         CHECK_FIXNUM (LGSTRING_SLOT (gstring, LGSTRING_IX_ASCENT));
CHECK_FIXNUM     4597 src/font.c         CHECK_FIXNUM (LGSTRING_SLOT (gstring, LGSTRING_IX_ASCENT));
CHECK_FIXNUM     4621 src/font.c     	    CHECK_FIXNUM (AREF (val, j));
CHECK_FIXNUM     5256 src/font.c           CHECK_FIXNUM (position);
CHECK_FIXNUM     5874 src/frame.c    	      CHECK_FIXNUM (XCDR (width));
CHECK_FIXNUM     5898 src/frame.c    	      CHECK_FIXNUM (width);
CHECK_FIXNUM     5910 src/frame.c    	      CHECK_FIXNUM (XCDR (height));
CHECK_FIXNUM     5934 src/frame.c    	      CHECK_FIXNUM (height);
CHECK_FIXNUM     1577 src/fringe.c         CHECK_FIXNUM (height);
CHECK_FIXNUM     1590 src/fringe.c         CHECK_FIXNUM (width);
CHECK_FIXNUM       46 src/haiku.c      CHECK_FIXNUM (pid);
CHECK_FIXNUM     2430 src/haikufns.c     CHECK_FIXNUM (dx);
CHECK_FIXNUM     2435 src/haikufns.c     CHECK_FIXNUM (dy);
CHECK_FIXNUM      828 src/indent.c         CHECK_FIXNUM (end);
CHECK_FIXNUM      836 src/indent.c         CHECK_FIXNUM (beg);
CHECK_FIXNUM      899 src/indent.c     CHECK_FIXNUM (column);
CHECK_FIXNUM      902 src/indent.c     CHECK_FIXNUM (minimum);
CHECK_FIXNUM     1842 src/indent.c     CHECK_FIXNUM (XCAR (frompos));
CHECK_FIXNUM     1843 src/indent.c     CHECK_FIXNUM (XCDR (frompos));
CHECK_FIXNUM     1848 src/indent.c         CHECK_FIXNUM (XCAR (topos));
CHECK_FIXNUM     1849 src/indent.c         CHECK_FIXNUM (XCDR (topos));
CHECK_FIXNUM     1852 src/indent.c       CHECK_FIXNUM (width);
CHECK_FIXNUM     1857 src/indent.c         CHECK_FIXNUM (XCAR (offsets));
CHECK_FIXNUM     1858 src/indent.c         CHECK_FIXNUM (XCDR (offsets));
CHECK_FIXNUM     2207 src/indent.c     CHECK_FIXNUM (lines);
CHECK_FIXNUM     12361 src/keyboard.c   CHECK_FIXNUM (x);
CHECK_FIXNUM     3106 src/lisp.h     (CHECK_FIXNUM) (Lisp_Object x)
CHECK_FIXNUM      157 src/macros.c       CHECK_FIXNUM (repeat);
CHECK_FIXNUM      617 src/minibuf.c  	      CHECK_FIXNUM (backup_n);
CHECK_FIXNUM      226 src/msdos.c      CHECK_FIXNUM (nbuttons);
CHECK_FIXNUM     3153 src/pgtkfns.c      CHECK_FIXNUM (dx);
CHECK_FIXNUM     3158 src/pgtkfns.c      CHECK_FIXNUM (dy);
CHECK_FIXNUM      553 src/print.c      CHECK_FIXNUM (character);
CHECK_FIXNUM      923 src/print.c      CHECK_FIXNUM (character);
CHECK_FIXNUM     3165 src/process.c      CHECK_FIXNUM (plist_get (contact, QCspeed));
CHECK_FIXNUM     4857 src/process.c        CHECK_FIXNUM (millisec);
CHECK_FIXNUM     4862 src/process.c  	  CHECK_FIXNUM (seconds);
CHECK_FIXNUM      387 src/search.c         CHECK_FIXNUM (start);
CHECK_FIXNUM     1040 src/search.c         CHECK_FIXNUM (count);
CHECK_FIXNUM     2792 src/search.c     CHECK_FIXNUM (num);
CHECK_FIXNUM     3084 src/search.c     CHECK_FIXNUM (n);
CHECK_FIXNUM     1112 src/syntax.c     CHECK_FIXNUM (syntax);
CHECK_FIXNUM     1583 src/syntax.c       CHECK_FIXNUM (arg);
CHECK_FIXNUM     2437 src/syntax.c     CHECK_FIXNUM (count);
CHECK_FIXNUM     3047 src/syntax.c     CHECK_FIXNUM (from);
CHECK_FIXNUM     3048 src/syntax.c     CHECK_FIXNUM (count);
CHECK_FIXNUM     3049 src/syntax.c     CHECK_FIXNUM (depth);
CHECK_FIXNUM     3067 src/syntax.c     CHECK_FIXNUM (from);
CHECK_FIXNUM     3068 src/syntax.c     CHECK_FIXNUM (count);
CHECK_FIXNUM     3591 src/syntax.c         CHECK_FIXNUM (targetdepth);
CHECK_FIXNUM     3203 src/sysdep.c     CHECK_FIXNUM (tem);
CHECK_FIXNUM     3216 src/sysdep.c     CHECK_FIXNUM (tem);
CHECK_FIXNUM     3270 src/sysdep.c     CHECK_FIXNUM (tem);
CHECK_FIXNUM      799 src/textprop.c 	      CHECK_FIXNUM (limit);
CHECK_FIXNUM      887 src/textprop.c 	      CHECK_FIXNUM (limit);
CHECK_FIXNUM     1601 src/timefns.c        CHECK_FIXNUM (obj);
CHECK_FIXNUM     1565 src/treesit.c        CHECK_FIXNUM (XCAR (range));
CHECK_FIXNUM     1566 src/treesit.c        CHECK_FIXNUM (XCDR (range));
CHECK_FIXNUM     3532 src/treesit.c        CHECK_FIXNUM (depth);
CHECK_FIXNUM     3729 src/treesit.c        CHECK_FIXNUM (depth);
CHECK_FIXNUM     11021 src/w32.c        CHECK_FIXNUM (tem);
CHECK_FIXNUM     11032 src/w32.c        CHECK_FIXNUM (tem);
CHECK_FIXNUM     11076 src/w32.c        CHECK_FIXNUM (tem);
CHECK_FIXNUM      501 src/w32fns.c     CHECK_FIXNUM (red);
CHECK_FIXNUM      502 src/w32fns.c     CHECK_FIXNUM (green);
CHECK_FIXNUM      503 src/w32fns.c     CHECK_FIXNUM (blue);
CHECK_FIXNUM     1233 src/w32fns.c         CHECK_FIXNUM (Vx_pointer_shape);
CHECK_FIXNUM     1242 src/w32fns.c         CHECK_FIXNUM (Vx_nontext_pointer_shape);
CHECK_FIXNUM     1252 src/w32fns.c         CHECK_FIXNUM (Vx_hourglass_pointer_shape);
CHECK_FIXNUM     1263 src/w32fns.c         CHECK_FIXNUM (Vx_mode_pointer_shape);
CHECK_FIXNUM     1273 src/w32fns.c         CHECK_FIXNUM (Vx_sensitive_text_pointer_shape);
CHECK_FIXNUM     1283 src/w32fns.c         CHECK_FIXNUM (Vx_window_horizontal_drag_shape);
CHECK_FIXNUM     1294 src/w32fns.c         CHECK_FIXNUM (Vx_window_vertical_drag_shape);
CHECK_FIXNUM     5707 src/w32fns.c         CHECK_FIXNUM (icon_x);
CHECK_FIXNUM     5708 src/w32fns.c         CHECK_FIXNUM (icon_y);
CHECK_FIXNUM     5891 src/w32fns.c       CHECK_FIXNUM (parent);
CHECK_FIXNUM     7412 src/w32fns.c       CHECK_FIXNUM (dx);
CHECK_FIXNUM     7417 src/w32fns.c       CHECK_FIXNUM (dy);
CHECK_FIXNUM     8245 src/w32fns.c     CHECK_FIXNUM (command);
CHECK_FIXNUM     8810 src/w32fns.c     CHECK_FIXNUM (hotkeyid);
CHECK_FIXNUM     3210 src/w32proc.c        CHECK_FIXNUM (process);
CHECK_FIXNUM     3413 src/w32proc.c    CHECK_FIXNUM (lcid);
CHECK_FIXNUM     3526 src/w32proc.c    CHECK_FIXNUM (lcid);
CHECK_FIXNUM     3585 src/w32proc.c    CHECK_FIXNUM (cp);
CHECK_FIXNUM     3613 src/w32proc.c    CHECK_FIXNUM (cp);
CHECK_FIXNUM     3639 src/w32proc.c    CHECK_FIXNUM (cp);
CHECK_FIXNUM     3704 src/w32proc.c    CHECK_FIXNUM (XCAR (layout));
CHECK_FIXNUM     3705 src/w32proc.c    CHECK_FIXNUM (XCDR (layout));
CHECK_FIXNUM     1319 src/window.c     CHECK_FIXNUM (ncol);
CHECK_FIXNUM     2103 src/window.c     CHECK_FIXNUM (line);
CHECK_FIXNUM     4476 src/window.c     CHECK_FIXNUM (size);
CHECK_FIXNUM     4974 src/window.c     CHECK_FIXNUM (pixel_size);
CHECK_FIXNUM     6698 src/window.c         CHECK_FIXNUM (arg);
CHECK_FIXNUM     11311 src/xdisp.c          CHECK_FIXNUM (XCDR (from));
CHECK_FIXNUM     22913 src/xdisp.c          CHECK_FIXNUM (row);
CHECK_FIXNUM     22948 src/xdisp.c          CHECK_FIXNUM (row);
CHECK_FIXNUM     22978 src/xdisp.c          CHECK_FIXNUM (row);
CHECK_FIXNUM     26133 src/xdisp.c      CHECK_FIXNUM (direction);
CHECK_FIXNUM     26606 src/xdisp.c          CHECK_FIXNUM (vpos);
CHECK_FIXNUM     34991 src/xdisp.c      CHECK_FIXNUM (x);
CHECK_FIXNUM     34992 src/xdisp.c      CHECK_FIXNUM (y);
CHECK_FIXNUM     1676 src/xfaces.c       CHECK_FIXNUM (width);
CHECK_FIXNUM     7073 src/xfaces.c         CHECK_FIXNUM (n);
CHECK_FIXNUM     4587 src/xfns.c           CHECK_FIXNUM (icon_x);
CHECK_FIXNUM     4588 src/xfns.c           CHECK_FIXNUM (icon_y);
CHECK_FIXNUM     4946 src/xfns.c         CHECK_FIXNUM (parent);
CHECK_FIXNUM     7755 src/xfns.c           CHECK_FIXNUM (format);
CHECK_FIXNUM     8258 src/xfns.c           CHECK_FIXNUM (source_x);
CHECK_FIXNUM     8264 src/xfns.c           CHECK_FIXNUM (source_y);
CHECK_FIXNUM     9051 src/xfns.c         CHECK_FIXNUM (dx);
CHECK_FIXNUM     9056 src/xfns.c         CHECK_FIXNUM (dy);
CHECK_FIXNUM     10092 src/xfns.c       CHECK_FIXNUM (position);
CHECK_FIXNUM     10093 src/xfns.c       CHECK_FIXNUM (direction);
CHECK_FIXNUM     10094 src/xfns.c       CHECK_FIXNUM (operation);
CHECK_FIXNUM     10095 src/xfns.c       CHECK_FIXNUM (factor);
CHECK_FIXNUM     3249 src/xselect.c    CHECK_FIXNUM (format);
CHECK_FIXNUM     3125 src/xwidget.c    CHECK_FIXNUM (rel_pos);