Iron Teaching Rocks How to Rust