[BugFound] in pausable counter