把用高级程序设计语言编写的程序转换成等价的可执行程序，必须经过______。