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

　　是月也，天子始裘。有司曰：天气上腾，地气降，天地不通，闭塞而成。命百官谨盖藏。命司徒行积聚，无有不敛。坏城，戒门闾，修键闭，慎管，固封疆，备边竟，完要，谨关梁，塞徯径。饬丧，辨衣裳，审棺椁之薄厚茔丘垄之大小、高卑、厚之度，贵贱之等级