update to last Rust: Index needs uint