> If you compile C with libc statically linked in, it'll make executables as large as Rust's.

Not in my experience.