Rust# Certification Writing Rust Code State of Rust Safety-Critical Tooling Explanation of ARA Applications in Rust MISRA vs Cert Link to Clippy Link to Miri Conclusions for S-CORE Rust API design guidelines