一个形成文件的程序的要求应含在一个文件中。