{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
        // We need custom section flags, so emit module-level inline assembly.
    } else {
        let section_flags = if cgcx.is_pe_coff { "n" } else { "e" };