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

　　初，法汰北來未知名，王領軍供養之。每與周旋，行來往名勝許，輒與俱。不得汰，便停車不行。因此名遂重。

　　缌小功，虞卒哭则免。既葬而不报虞，则虽主人皆冠，及虞则皆免。为兄弟既除丧已。及其葬也，反服其服。报虞卒哭则免。如不报虞则除之。远葬者比反哭者皆冠，及郊而后免反哭。君吊，虽不当免时也，主人必免，不散麻。虽异国之君，免也。亲者皆免。除殇之丧者，其祭也必玄。除成丧者，其祭也朝服缟冠。