PUSH_NUMBER      4750 src/regex-emacs.c 	      PUSH_NUMBER (p2, mcnt);
PUSH_NUMBER      4768 src/regex-emacs.c 	      PUSH_NUMBER (p2, mcnt);
PUSH_NUMBER      4787 src/regex-emacs.c 	    PUSH_NUMBER (p2, mcnt);