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

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

　　王司州與殷中軍語，嘆雲：“己之府奧，蚤已傾寫而見，殷陳勢浩汗，眾源未可得測。”