Successful removal of an ileal gallstone by endoscopic ileocecal valvulotomy (with video).