Using vectorization to speed up UTF-8 character counting · HackerTrans