Add code for the asynchronous counter.