PUSH_FAILURE_COUNT 4034 regex.c        	  PUSH_FAILURE_COUNT(p);
PUSH_FAILURE_COUNT 4048 regex.c        	  PUSH_FAILURE_COUNT(p + 2);