throw new BAD_OPERATION("Contains not a wide string value type");
{ BAD_OPERATION bad = new BAD_OPERATION("WString value type expected"); bad.minor = Minor.Any; throw bad; }
  public static String extract(Any an_any)  {    if (an_any.type().equal(type()))      {        an_any.type(twString);        return an_any.extract_wstring();      }    else      throw new BAD_OPERATION("Contains not a wide string value type");  }