The Vector ADT