Basic UTF8 library for Ur/Web