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

　　是月也，养老，授几杖，行粥饮食。乃命司，具饬衣裳，文有恒，制有小大度有长短。衣服量，必循其故，带有常。乃命有，申严百刑，斩必当，毋或枉桡枉桡不当，反受殃