Vi hadde vært døde uten Rust og formell verifisering