Outside, a machine whirled and whirled.