{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"(&dot_rustc[16..data_len"}]}
            (&dot_rustc[16..data_len + 12], 17)
            let data_len = u64::from_le_bytes(len_bytes.try_into().unwrap()) as usize;
        }