pub const adt_def: &str = "adt_def";