A man practices his swimming laps in a large indoor swimming pool.