a man who works in a grinding mill