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

#[inline]
pub fn some_aux_mod_function() -> i32 {
    1234
}