extern "C" {
    //@ is "$.index[*][?(@.name=='f1')].inner.function.header.is_unsafe" true
    pub fn f1();

    // items in `extern` blocks without an `unsafe` qualifier cannot have safety qualifiers
}

unsafe extern "C" {
    //@ is "$.index[*][?(@.name=='f4')].inner.function.header.is_unsafe" true
    pub fn f4();

    //@ is "$.index[*][?(@.name=='f5')].inner.function.header.is_unsafe" true
    pub unsafe fn f5();

    //@ is "$.index[*][?(@.name=='f6')].inner.function.header.is_unsafe" false
    pub safe fn f6();
}