{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//"}]}
            // Add a symbol referring to the data in .info section.
            let offset = file.append_section_data(section, &len.to_be_bytes(), 1);
            file.add_symbol(Symbol {