(and similarly, `read_u16s()` should call `WideCharToMultiByte`) Windows provides these nice functions which performantly implement utf-8 <-> utf-16 conversions. We should probably call them in the standard library when possible.