(a rotary pump)