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

　　君之丧，未小敛，为寄公国宾出；大夫之丧，未小敛，为君命出；士之丧，于大夫不当敛而出。凡主人之出也，徒跣扱衽拊心，降自西阶。君拜寄公国宾于位；大夫于君命，迎于寝门外，使者升堂致命，主人拜于下；士于大夫亲吊则与之哭；不逆于门外，夫人为寄公夫人出，命妇为夫人之命出，士妻不当敛，则为命妇出。

　　陳留阮籍，譙國嵇康，河內山濤，三人年皆相比，康年少亞之。預此契者：沛國劉伶，陳留阮鹹，河內向秀，瑯邪王戎。七人常集於竹林之下，肆意酣暢，故世謂“竹林七賢。”