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

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