Constant deref_pure 

pub const deref_pure: Symbol;