src/test/ui/sepcomp/auxiliary/sepcomp-extern-lib.rs

#[no_mangle]
pub extern "C" fn foo() -> usize {
    1234
}