{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
            // We may have to split the data into multiple pieces in order to
            // FIXME: The length of data here is not guaranteed to fit in a u32.
            // store in .info section.