There were many tools on the ground, and a man took one of them and went to the wall to put it down, measuring it with a ruler, and playing a cheerful background music.