Handicraft: Tools of a stonemason