Case studies in making ambitious software safe to ship — the call I made, what I changed, and what happened.