{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"section_contents.extend_from_slice(b\"\\0\");"}]}
            section_contents.extend_from_slice(b"\0");
            // pretty printers.
        }