c2rust-refactor 0.10.1

fn main() {
    let x;
    let y;
    let z = 12345;
}