How to write Rust in the Linux kernel: part 3