Upgraded to latest Rust + Rust-Empty