Or, why didn't `ext 16` or `ext 32` exist in this `switch` statement before?