pub const deprecated_safe: Symbol;