{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"cx.const_u64(func_name_hash),"}]}
            cx.const_u64(func_name_hash),
        &[
            cx.const_u32(coverage_mapping_buffer.len() as u32),