On 6/17/21 3:39 AM, Walter Bright wrote: > On 6/16/2021 2:25 PM, Timon Gehr wrote: >> Yes. This. > > At last, Timon, we agree on something! You've made my day! We agree on many things. Maybe I should point it out more often. :)