Cardiac surgery for a patient with Andersen-Tawil syndrome.