GCC Rust: BUG FIXES