The workmen were plastering the boards with cement, making a ping-pong sound.