[p.0654]
廿二史札記
十五
元巍時人多以神将為名
北朝時人、多有以神将為名者、巍北地王世子、名鐘葵、元叉本名夜叉、其弟羅本名羅刹、孝文時、又有奄人高菩薩、爾朱栄子一名叉羅、一名文殊、梁蕭淵藻小名迦葉、隋時漢王諒反、其将有喬鐘葵、隋末有賊帥宋金剛、唐武后時、嶺南討擊使上二閹児、一曰金剛、一曰力士、即高力士也、
北朝時人、多有以神将為名者、巍北地王世子、名鐘葵、元叉本名夜叉、其弟羅本名羅刹、孝文時、又有奄人高菩薩、爾朱栄子一名叉羅、一名文殊、梁蕭淵藻小名迦葉、隋時漢王諒反、其将有喬鐘葵、隋末有賊帥宋金剛、唐武后時、嶺南討擊使上二閹児、一曰金剛、一曰力士、即高力士也、