《宋书·志·卷三十二》
王童说： 第二年晋平定吴，王浚正在：芒渣停船，姓名地名都和菜名相符，菜的出现是王荡平昱的征兆。
干宝曰： 明年晋平吴，王浚止船，正得平渚，姓名显然，指事之征也。
Wang Tong said: In the second year, Jin Ping pacified Wu. Wang Jun was in Mángzhā when he stopped his boat. The names of the people and the places were all the same as the names of the plants, and the appearance of the plants was a sign of Wang's pacification of Yin and Xu.