Correct execution can include undefined behavior, depending on the data being procesed; see 1.3 and 1.9.

• 正确执行也可能产生未定义行为，这随被程序处理的数据而定。参见1.；3和1