Constant const_raw_ptr_deref 

pub const const_raw_ptr_deref: Symbol;