《礼记·曲礼下》“石工” 汉 郑玄 注：“石工，玉人、磬人也。”