Initially, Alan had a certain amount of avocados. After eating some of the avocados, Alan has twice as many avocados as Ben. How many avocados does Ben have?