Verify Rust Std Lib Introduction General Rules Challenge Template Tool application Verification Tools Kani Challenges Core Transmutation Memory safety of core intrinsics Inductive data type