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

　　孟夏之月，日在毕，昏翼中，旦婺女中。其日丙丁。其帝炎帝，其神祝融。其虫羽。其音征，律中中吕。其数七。其味苦，其臭焦。其祀灶，祭先肺。蝼蝈鸣，蚯螾出，王瓜生，苦菜秀。天子居明堂左个，乘朱路，驾赤骝，载赤旗，衣朱衣，服赤玉。食菽与鸡，其器高以粗。

　　習鑿齒、孫興公未相識，同在桓公坐。桓語孫“可與習參軍共語。”孫雲：“‘蠢爾蠻荊’，敢與大邦為讎？”習雲：“‘薄伐獫狁’，至於太原。”