《太平广记·卷三百九十四·雷二》
唐朝晋陵郡建元寺内有个僧人叫智空，是本地人，道业和修行之深闻名于当地，已有七十多岁了。
唐晋陵郡建元寺僧智空，本郡人，道行闻于里中，年七十余。
There was a monk called Zhikong in the Jian'yuan Temple in Jinling Prefecture in the Tang Dynasty. He was a local and was famous for his deep spiritual cultivation and ascetic practice. He was already over seventy years old.