The complete guide to writing C that doesn't just work — it provably works.