A man is swimming laps in a lane in a large indoor swimming pool.