On 2017-07-10 22:00, Walter Bright wrote: > Yes. Not having it makes enforce(), for example, generate poor code. Not sure I understand. "enforce" will return if the condition is true. -- /Jacob Carlborg