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

　　晉明解占冢宅聞郭璞為葬，帝微往看。因主人：“以葬龍角此法當滅！”主人：“郭雲‘此葬龍，不出三，當致天。’”帝：“為是天子邪？答曰：“出天子，致天子問。