//@ ignore-auxiliary (used by `./mod_file_correct_spans.rs`)

pub fn foo() -> isize { 10 }