pub const str_from_utf8_unchecked: Symbol;