Data structures for Cocktail