throw new BAD_OPERATION();
BAD_OPERATION bad = new BAD_OPERATION(); bad.initCause(ex); bad.minor = Minor.Any; throw bad;
  public static InvalidName extract(Any a)  {    try      {        return ((InvalidNameHolder) a.extract_Streamable()).value;      }    catch (ClassCastException ex)      {        throw new BAD_OPERATION();      }  }