Fast and correct UTF-8 IO