Common bile duct exploration for choledocholithiasis.