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

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

　　是月也，日夜分。雷乃发声，始电，蛰虫咸动，启户始出。先雷三日，奋木铎以令兆民曰：雷将发声，有不戒其容止者，生子不备，必有凶灾。日夜分，则同度量，钧衡石，角斗甬，正权概。是月也，耕者少舍。乃修阖扇，寝庙毕备。毋作大事，以妨农之事。