ZAPBench (ZAPBENCH) - Pump