more efficient scm_string_to_utf8, scm_string_to_utf32