Constant adt_destructor

pub const adt_destructor: &str = "adt_destructor";