Vi skulle vara döda utan Rust och formell verifiering