PREFETCH         4277 src/regex-emacs.c 		PREFETCH (d = dfail);
PREFETCH         4305 src/regex-emacs.c 		PREFETCH (d = dfail);
PREFETCH         4349 src/regex-emacs.c 	    PREFETCH ();
PREFETCH         4372 src/regex-emacs.c 	    PREFETCH ();
PREFETCH         4511 src/regex-emacs.c 		PREFETCH (d = dfail);
PREFETCH         4852 src/regex-emacs.c 	      PREFETCH ();
PREFETCH         4937 src/regex-emacs.c 	      PREFETCH ();
PREFETCH         5009 src/regex-emacs.c 	    PREFETCH ();
PREFETCH         5041 src/regex-emacs.c 	    PREFETCH ();