Outside, with music and conversation, a man jogs from one side of the pool, waving his hands to the other, with many people watching.