CppCoreGuidelines/talks/Contracts-for-Dependable-C+...