如果一个程序为多个进程所共享，那么该程序的代码在执行过程中不能被修改，即程序应该是_______。