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

　　是月，命司空：时雨将，下水上，循行国，周视原，修利堤，道达沟，开通道，毋有障。田猎罝、罗网、翳、餧兽药，毋出门