Colonic diverticulosis in a child.