Laparoscopic cholecystectomy for Mirizzi syndrome