> each variable can be zero, one, some(*), max, overflowed These are the value ranges that I test in my unit tests, plus at and before some powers of 2 (e.g. 6

> each variable can be zero, one, some(*), max, overflowed These are the value ranges that I test in my unit tests, plus at and before some powers of 2 (e.g. 65535 and 65536), and -1. That is because -1 is uniquely used in some systems to indicate error, and thus trips some bugs.