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

　　方千里者，为方百里者百。封方百里者三十国，其余，方百里者七十。又封方七十里者六十--为方百里者二十九，方十里者四十。其余，方百里者四十，方十里者六十；又封方五十里者二十--为方百里者三十；其余，方百里者十，方十里者六十。名山大泽不以封，其余以为附庸间田。诸侯之有功者，取于间田以禄之；其有削地者，归之间田。

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