pub const adt_def: &str = _;