A man swims laps quickly in a large professional pool.