rename tinyCounter to omegaCounter