Finish KarpRabinImpl.