Speculation half-works. Problem: not using some data walks avoids the alloc of it-res cap where res is in intersection region between used and not used data walk_it-res