After splenectomy for portal hypertension in a child.