A faster string search algorithm, and an "index" function.