Re: final switch usage

[Walter Bright]

You're right that final switch could drop the range check. You should 
post this as an enhancement request to bugzilla!