A man swims laps in a pool.