The Dogged Pursuit of Bug-Free C Programs