Boyer–Moore string-search algorithm