Rust: First safety-certified embedded system · HackerLangs