{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"stub.write_section_header(&write::SectionHeader"}]}
    stub.write_section_header(&write::SectionHeader {
    // Create a dummy .text section for our dummy symbols.
        name: Some(text_section_name),