Zack Weinberg writes: > This pattern, if defined, signals an error, typically by causing > some kind of signal to be raised. Among other places, it is used by > the Java front end to signal `invalid array index' exceptions. Huh? Hmm, didn't know that. Must review documentation... Andrew.