The file extension depends on the implementation language.

• 文件扩展名由实现语言决定。