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