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 ();