This could be useful in C for some situations. That said, the above is completely useless if just only one of those values (ranges or assignments) is dynamic: y

This could be useful in C for some situations. That said, the above is completely useless if just only one of those values (ranges or assignments) is dynamic: you'll be back to carefully (and manually) checking you don't overflow.* *edit: unless your compiler automatically emits instructions to do the check at runtime; a thing that won't happen (and I don't want) in C.