蜀有巨人，曰司马氏。在汉六叶，为文章倡始。言必故训，革战国之弊。斲雕混茫，从神取秘。摛发厥章，日星佐华。《封禅》遗篇，意极辞奢。武用东之，绍七十二家。行虽小訾，后帝贤嗟。