Implement APIs for the counter extension

Ditto