pub const adt_drop_tys: &str = "adt_drop_tys";