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