高貴鄉公薨，內外諠嘩。司馬文王問侍中陳泰曰：“何以靜之？”泰雲：“唯殺賈充，以謝天下。”文王曰：“可復下此不？”對曰：“但見其上，未見其下。”

　　天子五年一巡守：岁二月，东巡守至于岱宗，柴而望祀山川；觐诸侯；问百年者就见之。命大师陈诗以观民风，命市纳贾以观民之所好恶，志淫好辟。命典礼考时月，定日，同律，礼乐制度衣服正之。山川神只，有不举者，为不敬；不敬者，君削以地。宗庙，有不顺者为不孝；不孝者，君绌以爵。变礼易乐者，为不从；不从者，君流。革制度衣服者，为畔；畔者，君讨。有功德于民者，加地进律。五月，南巡守至于南岳，如东巡守之礼。八月，西巡守至于西岳，如南巡守之礼。十有一月，北巡守至于北岳，如西巡守之礼。归，假于祖祢，用特。

　　戴公見林法師墓，曰：“德音未遠，而拱木已積。冀神理綿綿常，不與氣運俱盡耳！”