Chapter 13. Diagnostics and Code Contracts