a man whose occupation is to sharpen the military weapons.