一個形成文件的程序的要求應含在一個文件中。