matcher_overflow  322 src/search.c         matcher_overflow ();
matcher_overflow  422 src/search.c       matcher_overflow ();
matcher_overflow 1226 src/search.c             matcher_overflow ();
matcher_overflow 1272 src/search.c             matcher_overflow ();