We’re all using the pointer math functions in Rust and testing it with miri, right? Right?