When I used to swim we'd be told to just swim it off. Calf, foot, right above the knee were all things you could kinda dead leg and use the flip turn to unkink, but now and then you'd get a hamstring cramp and that's when you just sink and stretch. There is no negotiating with a hamstring cramp.