Added String.to_utf8 and decode_utf8.