Added counter specs.
Implement counter spec.