pub const destruct: Symbol;