They turned every hidden memory safety bug into a grep'able memory safety bug. That's step 1 and a massive win.