古砖墙上，岁月雕刻的痕迹。这是什么工具🛠️，干什么用的？谁知道呢？老物件收藏起