这个工具怎么用的嘛……当年汉人士兵挖渠厉害……