can also be spotted with experience. these kinds of problems are present in very many standard treatments of algorithms and don't survive their first contact w

can also be spotted with experience. these kinds of problems are present in very many standard treatments of algorithms and don't survive their first contact with real world use in some cases. "needs a carry bit or a wider type" is common for arithmetic operations that actually use the range.