c2rust-refactor 0.10.1

fn main() {
    let x = 1;
}