use a 32bit counter until the issue can be tracked down.