component provides Counter{ int Counter:getNext() { number ++ return number } }