Behavior, for a well-formed program construct and correct data, that depends on the implementation and that each implementation shall document.

• 由完备的程序构造和正确的数据产生的某些随实现而定的行为