Update counter.hpp