{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"sanitize_dataflow_abilist_len:"}]}
            sanitize_dataflow_abilist_len: sanitize_dataflow_abilist_ptrs.len(),
            sanitize_dataflow_abilist: sanitize_dataflow_abilist_ptrs.as_ptr(),
            sanitize_kcfi: config.sanitizer.contains(SanitizerSet::KCFI),