廪君乘土船，下至夷城，石岸曲。廪君望之如穴状，曰：「我既道穴中，又入此，奈何」？石岸为崩，广三丈余，陛级之。廪君行至上岸，上岸有平石，广长五丈，休其上，投算计，算处皆有石，因立城其旁（《北堂书钞》一百五十八）。