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

　　晋献文子成室，晋大夫发焉。张老曰：“美哉轮焉！美哉奂焉！歌于斯，哭于斯，聚国族于斯。”文子曰：“武也得歌于斯，哭于斯，聚国族于斯，是全要领以从先大夫于九京也。”北面再拜稽首。君子谓之善颂善祷。

　　陵雲臺樓觀精巧，先稱平眾木輕重，然後造構，乃無錙銖相負揭。臺雖高峻，常隨風搖動，而終無傾倒之理。魏明帝登臺，懼其勢危，別以大材扶持之，樓即頹壞。論者謂輕重力偏故也。