{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"],"}]}
        ],
            cx.const_bytes(&coverage_mapping_buffer),
        // This struct needs to be packed, so that the 32-bit length field