Oops, a fatal accident... What to do when you get a cramp in your leg while swimming?