Pump: use buffered streams for sorting