Technique in resection of esophageal diverticulum.