On 6/25/20 1:07 PM, Rainer Orth wrote: >> But I'd just remove that case X line, since the fallthrough >> is to the default case anyway. > > Right, that's certainly clearer. > > Here's the revised version. Ok now? Sure, it's fine with me. Thanks, Pedro Alves