He finished pumping the levers, having counted the necessary number of pulls to get the measured gas in and out of the room. It was wildly imperfect, but the miniscule amounts of the gas that might escape when the air swap was made again was negligible and would just need to be sacrificed by leaving the exterior airlock open for a few hours to air out the ship.