When you get a leg cramp in the middle of the night