衛洗馬初欲渡江，形神慘悴，語左右雲：“見此芒芒，不覺百端交集。茍未免有情，亦復誰能遣此！”

　　孔子曰：“殷已悫，吾从周。”葬于北方北首，三代之达礼也，之幽之故也。既封，主人赠，而祝宿虞尸。既反哭，主人与有司视虞牲，有司以几筵舍奠于墓左，反，日中而虞。葬日虞，弗忍一日离也。是月也，以虞易奠。卒哭曰成事，是日也，以吉祭易丧祭，明日，祔于祖父。其变而之吉祭也，比至于祔，必于是日也接--不忍一日末有所归也。殷练而祔，周卒哭而祔。孔子善殷。君临臣丧，以巫祝桃茢执戈--恶之也；所以异于生也。丧有死之道焉。先王之所难言也。丧之朝也，顺死者之孝心也，其哀离其室也，故至于祖考之庙而后行。殷朝而殡于祖，周朝而遂葬。

　　晉明帝欲起池臺，元帝不許。帝時為太子，好養武士。壹夕中作池，比曉便成。今太子西池是也。