pub const adt_dtorck_constraint: &str = _;