adt: rename .data, .ctor* to __adt_*__