use of abstract data types