Here’s the data I have collected so far: No #[no_mangle]
I’ve previously suggested to make all pub extern unmangled, but there were examples where it’d break. Now I’m suggesting a narrower version, limited to only symbols in root, which I think avoids problems found previously and is compatible.