PUSH_NUMBER      4745 src/regex-emacs.c 	      PUSH_NUMBER (p2, mcnt);
PUSH_NUMBER      4763 src/regex-emacs.c 	      PUSH_NUMBER (p2, mcnt);
PUSH_NUMBER      4782 src/regex-emacs.c 	    PUSH_NUMBER (p2, mcnt);