At program termination, all data written into files shall be identical to one of the possible results that execution of the program according to the abstract semantics would have produced.

• 当程序终止时,写入文件的所有数据,应该与抽象语义以此程序执行所能造成的所有可能结果之一吻合。