[proof reading search-en] Stopped after boyer-moore-horspool pseudo code