[morelisp]

Your counter rolls eventually. You're underappreciating how much larger 2^256 is than 2^80 or even 2^128.