《太平广记·卷一百一十八·报应十》
歙州歙县有个黄墩湖，这湖里有蜃，常常被吕湖的蜃斗败。靠近黄墩湖边有个村子。村中有个叫程灵铣的人，卓越不受约束，勇敢又善于射箭。
歙州歙县黄墩湖，其湖有蜃，常为吕湖蜃所斗，湖之近村有程灵铣者，卓越不羁，好勇而善射。
In She County of Shezhou, there is a lake called Huangdunhu, in which there are clams that are often defeated by the clams of Luhu Lake. There is a village near Huangdunhu Lake. In the village lived a man named Cheng Lingxi, who was outstanding and unrestrained, brave and good at archery.