create ADT counter