Vagotomy for duodenal ulcer. (1972)