Re: [Hyperscan] early termination of streaming match?