Rust does have undefined behavior, though.