{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"//"}]}
            // Encode string stored in .info section of XCOFF.
                SectionFlags::Xcoff { s_flags: xcoff::STYP_INFO as u32 };
            // FIXME: The length of data here is not guaranteed to fit in a u32.