[doc] the counter.erl example