Partial gastrectomy for peptic ulceration in the aged.