port __cmp__ in SimpleCounter