Symbol: mtype_adt_elem