Abstract Machine Models Also: what Rust got particularly right