Simple introduction to Rust’s ownership system