sed -i '/#\[no_mangle\]/d' $(echo $CARGO_HOME)/git/checkouts/polkadot-sdk-dee0edd6eefa0594/b401690/substrate/primitives/io/src/lib.rs