Outside, a man whines stones with tools and makes a buzz.