Parameterized SaturatingCounter and GShare