Rust programming language lecture 12: Borrowing rules and Slice data type