{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"//"}]}
            // is defined inline as opposed to in a standalone file.
            // The initial byte `4` instructs GDB that the following pretty printer
            section_contents.extend_from_slice(b"\x04");