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

　　过而举君之讳，则起。与君之讳同，则称字。内乱不与焉，外患弗辟也。赞，大行曰圭。公九寸，侯、伯七寸，子、男五寸。博三寸，厚半寸。剡上，左右各寸半，玉也。藻三采六等。哀公问子羔曰：“子之食奚当？”对曰：“文公之下执事也。”

　　魏武常雲：“我眠中不可妄近，近便斫人，亦不自覺，左右宜深慎此！”後陽眠，所幸壹人竊以被覆之，因便斫殺。自爾每眠，左右莫敢近者。