I believe the extra size before stripping is because Rust ships the standard library with debug symbols included by default (for now)

Source: https://kobzol.github.io/rust/cargo/2024/01/23/making-rust-b... HN discussion: https://news.ycombinator.com/item?id=39112486