Update modulocounter.hpp