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

　　季夏之月，日在柳，昏火中，旦奎中。其日丙丁。其帝炎帝，其神祝融。其虫羽。其音征，律中林钟。其数七。其味苦，其臭焦。其祀灶，祭先肺。温风始至，蟋蟀居壁，鹰乃学习，腐草为萤。天子居明堂右个，乘朱路，驾赤骝，载赤旗，衣朱衣，服赤玉。食菽与鸡，其器高以粗。命渔师伐蛟取鼍，登龟取鼋。命泽人纳材苇。

　　王大將軍自目：“高朗疏率，學通左氏。”