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

　　古者以周尺八尺为步，今以周尺六尺四寸为步。古者百亩，当今东田百四十六亩三十步。古者百里，当今百二十一里六十步四尺二寸二分。

　　孟冬之月，日在尾，昏危中，旦七星中。其日壬癸。其帝颛顼，其神玄冥。其虫介。其音羽，律中应钟。其数六。其味咸，其臭朽。其祀行，祭先肾。水始冰，地始冻。雉入大水为蜃。虹藏不见。天子居玄堂左个，乘玄路，驾铁骊，载玄旗，衣黑衣，服玄玉，食黍与彘，其器闳以奄。