Survey of vagotomy and pyloroplasty in infants and children.