pub const str_from_utf8: Symbol;