Pool c7

Obviously it is also the case here that `Acquire` and `Release` are grouped, so we could change it back if you want.