Vagotomy for gastroduodenal ulcer.