r23768: Get rid of the three global variables for the case semantics. I think