Estaríamos muertos sin Rust ni verificación formal