《太平广记·卷七十五·道术五》
他又在唐宪宗面前放出五六十头蝇虎子，把它们分开站成队，让它们按梁州曲跳舞，完全符合曲子的节拍，唱到词的时候，殷殷有声，曲子唱完就一个接一个地退下去，好像有尊卑等级似的。
又于唐宪皇前，出蝇虎子五六十头，分立队，令舞梁州曲，皆中曲度；致词时，殷殷有声，曲毕则累累而退，若有尊卑等级焉。
In front of Emperor Xianzong of Tang, he released fifty or sixty fireflies, separating them into teams and letting them dance to the Liangzhou tune, completely in time with the melody, and when the lyrics were sung, they hummed, and when the song was finished, they retreated one after another, as if they had a sense of rank.