PREFETCH         4141 regex.cpp      		  PREFETCH ();
PREFETCH         4152 regex.cpp      		  PREFETCH ();
PREFETCH         4165 regex.cpp                PREFETCH ();
PREFETCH         4185 regex.cpp      	    PREFETCH ();
PREFETCH         4431 regex.cpp      		PREFETCH ();
PREFETCH         4986 regex.cpp      	  PREFETCH ();
PREFETCH         5003 regex.cpp      	  PREFETCH ();
PREFETCH         5014 regex.cpp      	  PREFETCH ();
PREFETCH         5023 regex.cpp      	  PREFETCH ();