>* error-recovery (we get an ICE/bailing-out-message after a sensible > error message). This should be specified in addition to > ice-on-invalid-code. I added this; I think we have consensus. --Nathanael