【contracts, undefined behavior, and defensive programming】