用高级程序设计语言编写的源程序，如果转换成等价的可执行程序，则必须要对源程序进行______。