Constant const_destruct 

pub const const_destruct: Symbol;