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

　　天子社稷皆大牢，诸侯社稷皆少牢。大夫、士宗庙之祭，有田则祭，无田则荐。庶人春荐韭，夏荐麦，秋荐黍，冬荐稻。韭以卵，麦以鱼，黍以豚，稻以雁。祭天地之牛，角茧栗；宗庙之牛，角握；宾客之牛，角尺。诸侯无故不杀牛，大夫无故不杀羊，士无故不杀犬豕，庶人无故不食珍。庶羞不逾牲，燕衣不逾祭服，寝不逾庙。

　　陵雲臺樓觀精巧，先稱平眾木輕重，然後造構，乃無錙銖相負揭。臺雖高峻，常隨風搖動，而終無傾倒之理。魏明帝登臺，懼其勢危，別以大材扶持之，樓即頹壞。論者謂輕重力偏故也。