Constant adt_destructor 

pub const adt_destructor: &str = "adt_destructor";