pub const adt_destructor: &str = _;