Wolf Rentzsch uses a simple C function example with Andrew Pontious to demonstrate (in record time!) Bertrand Meyer's Design by Contract, a cheap way to drastically improve your software quality. Could clang be the key to implementing it in Objective-C?