Added mono_string_from_utf32()