隋文帝的小名的渊源，魏晋隋唐间还有人以“那罗延”为名的吗？

据《北史·隋本纪上·高祖文皇帝》：“隋高祖文皇帝姓杨氏，讳坚，小名那罗延。”《续高僧传》对这个小名的来源有详细的记载：“有神尼者名曰智仙，河东蒲坂刘氏女也，少出家有戒行……及（隋文）帝诞日，无因而至，语太祖曰：‘儿天佛所佑，勿忧也。’尼遂名帝为那罗延，言如金刚不可坏也。”据《慧琳音义》：“那罗延，或云金刚力士也，或云坚固力士。” 可见，那罗延可意译为金刚、坚固。如后秦鸠摩罗什译的《摩诃般若波罗蜜经》：“五者身坚实，如那罗延。”又如北凉昙无谶译的《大方等大集经》：“有三昧名曰那罗延，能成就金刚身。”再如唐时地婆诃罗译...