Partial gastric resection for duodenal or marginal ulcer.