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

　　是月也，毋竭川泽，毋漉陂池，毋焚山林。天子乃鲜羔开冰，先荐寝庙。上丁，命乐正习舞，释菜。天子乃帅三公、九卿、诸侯、大夫亲往视之。仲丁，又命乐正入学习舞。是月也，祀不用牺牲，用圭璧，更皮币。

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