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

　　天子饭，九贝；诸侯七，大夫五，士三。士三月而葬，是月也卒哭；大夫三月而葬，五月而卒哭；诸侯五月而葬，七月而卒哭。士三虞，大夫五，诸侯七。诸侯使人吊，其次：含襚赗临，皆同日而毕事者也，其次如此也。卿大夫疾，君问之无算；士一问之。君于卿大夫，比葬不食肉，比卒哭不举乐；为士，比殡不举乐。升正柩，诸侯执綍五百人，四綍，皆衔枚，司马执铎，左八人，右八人，匠人执羽葆御柩。大夫之丧，其升正柩也，执引者三百人，执铎者左右各四人，御柩以茅。

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