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

　　有虞氏瓦棺，夏后氏墍周，殷人棺椁，周人墙置翣。周人以殷人之棺椁葬长殇，以夏后氏之墍周葬中殇、下殇，以有虞氏之瓦棺葬无服之殇。

　　卫有大史曰柳庄，寝疾。公曰：“若疾革，虽当祭必告。”公再拜稽首，请于尸曰：“有臣柳庄也者，非寡人之臣，社稷之臣也，闻之死，请往。”不释服而往，遂以襚之。与之邑裘氏与县潘氏，书而纳诸棺，曰：“世世万子孙，无变也。”