pub const str_from_utf8_mut: Symbol;