晉明帝欲起池臺，元帝不許。帝時為太子，好養武士。壹夕中作池，比曉便成。今太子西池是也。

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

　　三日而敛，在床曰尸，在棺曰柩，动尸举柩，哭踊无数。恻怛之心，痛疾之意，悲哀志懑气盛，故袒而踊之，所以动体安心下气也。妇人不宜袒，故发胸击心爵踊，殷殷田田，如坏墙然，悲哀痛疾之至也。故曰：“辟踊哭泣，哀以送之。送形而往，迎精而反也。”