A machine was whining, and the workmen were busy with their work making a ping-pong sound.