《藝文類聚》卷九十七〈鱗介部下·蟲豸部·蟻〉
桓謙字敬祖。太元（“元”原作“原”，據陳校本改。）中，忽有人皆長寸余，悉被鎧持槊，乘具裝馬，從屺中出。精光耀日，游走宅上，數百為群。部陣指麾，更相撞刺，馬既輕快，人亦便能。緣幾登灶，尋飲食之所?；蛴星腥?，輒來叢聚，力所能勝者，以槊刺取，徑入穴中，寂不復出，出還入穴。蔣山道士朱應子令作沸湯，澆所入處。因掘之，有斛許大蟻死在穴中。謙后誅滅。（出《異苑》）
桓謙字敬祖。太元（“元”原作“原”，據陳校本改。）中，忽有人皆長寸余，悉被鎧持槊，乘具裝馬，從屺中出。精光耀日，游走宅上，數百為群。部陣指麾，更相撞刺，馬既輕快，人亦便能。緣幾登灶，尋飲食之所?；蛴星腥?，輒來叢聚，力所能勝者，以槊刺取，徑入穴中，寂不復出，出還入穴。蔣山道士朱應子令作沸湯，澆所入處。因掘之，有斛許大蟻死在穴中。謙后誅滅。（出《異苑》）
