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

　　自恒山至于南河，里而近；自南河至于江千里而近。自江至于衡，千里而遥；自东河至东海，千里而遥。自东至于西河，千里而近；西河至于流沙，千里而。西不尽流沙，南不尽山，东不近东海，北不恒山，凡四海之内，断补短，方三千里，为田十万亿一万亿亩。方百者为田九十亿亩：山陵林麓、川泽、沟渎、城、宫室、涂巷，三分去，其余六十亿亩

　　謝太傅稱王修齡：“司州可與林澤遊”