历代志上 22.14

14. 此外，你也有很多匠人：凿石的人、石匠、木匠和能作各样工作的巧手工人，