P4401R0 — UB and profile-defined behavior
Herb Sutter
SG23
Stroustrup gives the canonical example of how profiles might define signed overflow in [[P3984R0](https://wg21.link/p3984r0)] page 3: