Constant adt_destructor

Source
pub const adt_destructor: &str = "adt_destructor";