补遗 ○洞中道士对棋

    婺源公山二洞，有穴如井。咸通末，有郑道士以绳缒下百余丈，旁有光，往视之，路穷阻水，隔岸有花木，二道士对棋，使一童子刺船而至，问：“欲渡否？”答曰：“当还。”童子回舟而去。郑复缒而出。明日井中有石笋塞其口，自是无入者。