Overflow is allowed. Overflow behavior is unspecified, like C++
If you want to assume that overflow wraps either:
Your hardware does this OR You implement it in software
If you want to assume that overflow wraps either:
Your hardware does this OR You implement it in software