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

　　侍坐于君子，君子欠伸，撰杖屦，视日蚤莫，侍坐者请出矣。侍坐于君子，君子问更端，则起而对。侍坐于君子，若有告者曰：「少间」，愿有复也；则左右屏而待。毋侧听，毋噭应，毋淫视，毋怠荒。游毋倨，立毋跛，坐毋箕，寝毋伏。敛发毋髢，冠毋免，劳毋袒，暑毋褰裳。

　　天子将出征，类乎上帝，宜乎社，造乎祢，祃于所征之地。受命于祖，受成于学。出征，执有罪；反，释奠于学，以讯馘告。