Outside, a man dives and makes a cheerful sound.