《南史·列传·卷三十三》
范晔便称徐湛之的小名说： 就是徐僮。 
晔乃称徐湛之小名曰： 乃是徐僮也。 
Fan Ye then referred to Xu Zhanzhi by his nickname and said: It must be Xu Tong. 
<s>[INST] 请将下面的文言文翻译成英语: 晔乃称徐湛之小名曰： 乃是徐僮也。  [/INST] Fan Ye then referred to Xu Zhanzhi by his nickname and said: It must be Xu Tong. </s>
请将下面的文言文翻译成英语: 晔乃称徐湛之小名曰： 乃是徐僮也。
user
Fan Ye then referred to Xu Zhanzhi by his nickname and said: It must be Xu Tong.
assistant