The pitfalls with unsigned integers in C

Background These are my notes as I tried to figure out if it s OK to assume that a multiplication of two signed integers results in something repeatable. Or more specifically, if I multiply two radix-2 strictly positive integers that are defined as int in C, is it enough to check that the result is strictly [...]