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