On 10/7/2014 6:56 AM, Timon Gehr wrote: > On 10/06/2014 01:01 AM, Walter Bright wrote: >> Relying on program state after entering an unknown state is undefined by >> definition. > > What definition? How can one define the behavior of an unknown state?