pub const adt_destructor: &str = "adt_destructor";