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

　　天子七日而殡，七月而葬。诸侯五日而殡，五月而葬。大夫、士、庶人，三日而殡，三月而葬。三年之丧，自天子达，庶人县封，葬不为雨止，不封不树，丧不贰事，自天子达于庶人。丧从死者，祭从生者。支子不祭。天子七庙，三昭三穆，与太祖之庙而七。诸侯五庙，二昭二穆，与太祖之庙而五。大夫三庙，一昭一穆，与太祖之庙而三。士一庙。庶人祭于寝。

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