I'm not familiar with this code, so I don't know enough to confirm or deny this fact, but if you add an assertion that the two counts are the same then r=me