A boy swims down the length of a lane in a public swimming pool.