还要掐死多少只虫子,才能填满淮河两岸的深渠。