@lina I definitely think we need to distinguish "strong memory safety" (impossible to break memory safety; Rust) from "weak memory safety" (impossible to break memory safety without data races; Go and I think Swift?) because both of these are very distinct from no memory safety at all (C, I think Zig?)