编译系统对使用高级语言编写的源程序进行编译后，形成目标文件的扩展名是___________。