Assertion list for term "the addresses of data buffers".
Results from Ascent++: 1
array → HasA → the addresses of data buffers 0.28