Thanks, I have somehow overlooked this.

There seems indeed something to be non-standard with switch/case. We'll check if this can be corrected quickly, otherwise it will be documented.