On 6/18/2021 2:41 AM, Timon Gehr wrote: > 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. :) <g>