Update adt_header.h