工人用磨床切割金属。