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

　　有殡，闻远兄弟之丧，虽缌必往；非兄弟，虽邻不往。所识其兄弟不同居者皆吊。天子之棺四重；水兕革棺被之，其厚三寸，杝棺一，梓棺二，四者皆周。棺束缩二衡三，衽每束一。伯椁以端长六尺。

　　王大將軍於眾坐中曰：“諸周由來未有作三公者。”有人答曰：“唯周侯邑五馬領頭而不克。”大將軍曰：“我與周，洛下相遇，壹面頓盡。值世紛紜，遂至於此！”因為流涕。