matcher_overflow  323 src/search.c         matcher_overflow ();
matcher_overflow  423 src/search.c       matcher_overflow ();
matcher_overflow 1212 src/search.c             matcher_overflow ();
matcher_overflow 1258 src/search.c             matcher_overflow ();