CHECK_NATNUM     10800 test/manual/etags/c-src/emacs/src/keyboard.c   CHECK_NATNUM (x);
CHECK_NATNUM     10801 test/manual/etags/c-src/emacs/src/keyboard.c   CHECK_NATNUM (y);