pub const RustcEncodable: Symbol;