Ah, this was part of the 'make pumps async' dive.