:-1: on ever testing exception throwing. I don't think our behavior needs to be well-defined in the face of programmer error.