On 06/02/2016 04:01 PM, Timon Gehr wrote: > Basically all of those still don't work with UTF-32 (assuming your goal > is to operate on characters). The goal is to operate on code units. -- Andrei