Solidity counter type that bypasses checked arithmetic - View it on GitHub