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

　　冢宰制国用，必于岁之杪，五谷皆入然后制国用。用地小大，视年之丰耗。以三十年之通制国用，量入以为出，祭用数之仂。丧，三年不祭，唯祭天地社稷为越绋而行事。丧用三年之仂。丧祭，用不足曰暴，有余曰浩。祭，丰年不奢，凶年不俭。国无九年之蓄曰不足，无六年之蓄曰急，无三年之蓄曰国非其国也。三年耕，必有一年之食；九年耕，必有三年之食。以三十年之通，虽有凶旱水溢，民无菜色，然后天子食，日举以乐。

　　陳述為大將軍掾，甚見愛重。及亡，郭璞往哭之，甚哀，乃呼曰：“嗣祖，焉知非福！”俄而大將軍作亂，如其所言。