Prophylactic gastrectomy in a 16-year-old.