pump.trencher (Trencher)