//@ ignore-test: this is not a test #[inline] pub fn some_aux_mod_function() -> i32 { 1234 }